Ronald J. Brachman, Hector J. Levesque, Raymond Reiter
Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning
KR, 1989.

@proceedings{KR-1989,
	address       = "KR'89). Toronto, Canada",
	editor        = "Ronald J. Brachman and Hector J. Levesque and Raymond Reiter",
	isbn          = "1-55860-032-9",
	publisher     = "{Morgan Kaufmann}",
	title         = "{Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning}",
	year          = 1989,
}

Contents (51 items)

13 ×#reasoning
7 ×#information management
7 ×#representation
6 ×#logic
4 ×#constraints
4 ×#problem
3 ×#framework
2 ×#calculus
2 ×#formal method
2 ×#hybrid

KR-1989-BacchusTK #logic

A Non-Reified Temporal Logic (FB, JDT, JAGMK), pp. 2–10.

KR-1989-Baker #problem

A Simple Solution to the Yale Shooting Problem (ABB), pp. 11–20.

KR-1989-Barnden

Belief, Metaphorically Speaking (JAB), pp. 21–32.

KR-1989-BorgidaE #knowledge base #performance #reasoning

Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning (AB, DWE), pp. 33–43.

KR-1989-BylanderATJ #abduction #complexity

Some Results Concerning the Computational Complexity of Abduction (TB, DA, MCT, JRJ), pp. 44–54.

KR-1989-Cohn #framework #hybrid #on the #reasoning

On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning (AGC), pp. 55–66.

KR-1989-CrawfordK #formal method #information management #logic #representation #towards

Towards a Theory of Access-Limited Logic for Knowledge Representation (JMC, BK), pp. 67–78.

KR-1989-Davis

Solutions to a Paradox of Perception with Limited Acuity (ED), pp. 79–82.

KR-1989-DechterMP #constraints #network

Temporal Constraint Networks (RD, IM, JP), pp. 83–93.

KR-1989-DoyleW

Impediments to Universal Preference-Based Default Theories (JD, MPW), pp. 94–102.

KR-1989-Drummond

Situated Control Rules (MD), pp. 103–113.

KR-1989-Etzioni

Tractable Decision-Analytic Control (OE), pp. 114–125.

KR-1989-Frisch #deduction #framework #hybrid #reasoning

A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning (AMF), pp. 126–136.

KR-1989-Geffner #reasoning

Default Reasoning, Minimality and Coherence (HG), pp. 137–148.

KR-1989-Helft #induction

Induction as Nonmonotonic Inference (NH), pp. 149–156.

KR-1989-Hirst #information management #ontology #representation

Ontological Assumptions in Knowledge Representation (GH), pp. 157–169.

KR-1989-Ishida #framework #information management #representation

A Framework for Dynamic Representation of Knowledge: A Minimum Principle in Organizing Knowledge Representation (YI), pp. 170–179.

KR-1989-Kasif #constraints #parallel #problem

Parallel Solutions to Constraint Satisfaction Problems (SK), pp. 180–188.

KR-1989-KautzS #logic #problem

Hard Problems for Simple Default Logics (HAK, BS), pp. 189–197.

KR-1989-Koomen #constraints

Localizing Temporal Constraint Propagation (JAGMK), pp. 198–202.

KR-1989-KotonC #exception #information management #reasoning #representation

Knowledge Representation in a Case-Based Reasoning System: Defaults and Exceptions (PK, MPC), pp. 203–211.

KR-1989-Lehmann #knowledge base #question #what

What Does a Conditional Knowledge Base Entail? (DJL), pp. 212–222.

KR-1989-Leishman #concept #graph

Analogy as a Constrained Partial Correspondence Over Conceptual Graphs (DL), pp. 223–234.

KR-1989-Lifschitz #logic

Between Circumscription and Autoepistemic Logic (VL), pp. 235–244.

KR-1989-LinS #reasoning

Argument Systems: A Uniform Basis for Nonmonotonic Reasoning (FL, YS), pp. 245–255.

KR-1989-Prescott #reasoning

Analogical Reasoning, Defeasible Reasoning, and the Reference Class (RP), pp. 256–265.

KR-1989-Lozinskii

Plausible World Assumption (ELL), pp. 266–275.

KR-1989-MarekT #logic

Relating Autoepistemic and Default Logics (VWM, MT), pp. 276–288.

KR-1989-McAllesterGF #first-order #syntax #taxonomy

Taxonomic Syntax for First Order Inference (DAM, RG, TF), pp. 289–300.

KR-1989-Nebel #analysis

A Knowledge Level Analysis of Belief Revision (BN), pp. 301–311.

KR-1989-Neufeld

Defaults and Probabilities; Extensions and Coherence (EN), pp. 312–323.

KR-1989-Pednault #calculus #named

ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus (EPDP), pp. 324–332.

KR-1989-Poole #reasoning #what

What the Lottery Paradox Tells Us About Default Reasoning (DP), pp. 333–340.

KR-1989-Przymusinski #formal method #logic programming #reasoning

Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming (TCP), pp. 341–348.

KR-1989-RajasekarLM #reasoning #source code

Skeptical Reasoning and Disjunctive Programs (AR, JL, JM), pp. 349–356.

KR-1989-RandellC #modelling #physics #process

Modelling Topological and Metrical Properties in Physical Processes (DAR, AGC), pp. 357–368.

KR-1989-RaoF

Formal Theories of Belief Revision (ASR, NYF), pp. 369–380.

KR-1989-Rayner #predict #problem #question

Did Newton Solve the “Extended Prediction Problem”? (MR), pp. 381–385.

KR-1989-Rosenschein #automaton

Synthesizing Information-Tracking Automata from Environment Descriptions (SJR), pp. 386–393.

KR-1989-RossiM #constraints #linear #network #using

Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation (FR, UM), pp. 394–399.

KR-1989-RussellW

Principles of Metareasoning (SJR, EW), pp. 400–411.

KR-1989-Sandewall #difference #equation #logic

Combining Logic and Differential Equations for Describing Real-World Systems (ES), pp. 412–420.

KR-1989-Schmidt-Schauss #decidability

Subsumption in KL-ONE is Undecidable (MSS), pp. 421–431.

KR-1989-Schmolze #information management #representation

Terminological Knowledge Representation Systems Supporting N-ary Terms (JGS), pp. 432–443.

KR-1989-SchubertH #information management #representation

An Episodic Knowledge Representation for Narrative Texts (LKS, CHH), pp. 444–458.

KR-1989-Stabler #information management #reasoning #representation #similarity

Syntactic Equality in Knowledge Representation and Reasoning (EPSJ), pp. 459–466.

KR-1989-SubramanianW #calculus

Making Situation Calculus Indexical (DS, JW), pp. 467–474.

KR-1989-Tenenberg #automation #inheritance

Inheritance in Automated Planning (JDT), pp. 475–485.

KR-1989-Zadrozny #order #set

Cardinalities and Well Orderings in a Common-Sense Set Theory (WZ), pp. 486–497.

KR-1989-EtheringtonFGIL #reasoning

Critical Issues in Nonmonotonic Reasoning (DWE, KDF, MLG, DJI, VL), pp. 500–504.

KR-1989-Pearl #overview #probability #reasoning #semantics

Probabilistic Semantics for Nonmonotonic Reasoning: A Survey (JP), pp. 505–516.