1. KR 1989:
Toronto, Canada
Ronald J. Brachman, Hector J. Levesque, Raymond Reiter (Eds.):
Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989.
Morgan Kaufmann 1989, ISBN 1-55860-032-9 
Presented Papers
- Fahiem Bacchus, Josh D. Tenenberg, Johannes A. G. M. Koomen:
A Non-Reified Temporal Logic.
2-10
- Andrew B. Baker:
A Simple Solution to the Yale Shooting Problem.
11-20
- John A. Barnden:
Belief, Metaphorically Speaking.
21-32
- Alexander Borgida, David W. Etherington:
Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning.
33-43
- Tom Bylander, Dean Allemang, Michael C. Tanner, John R. Josephson:
Some Results Concerning the Computational Complexity of Abduction.
44-54
- Anthony G. Cohn:
On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning.
55-66
- James M. Crawford, Benjamin Kuipers:
Towards a Theory of Access-Limited Logic for Knowledge Representation.
67-78
- Ernest Davis:
Solutions to a Paradox of Perception with Limited Acuity.
79-82
- Rina Dechter, Itay Meiri, Judea Pearl:
Temporal Constraint Networks.
83-93
- Jon Doyle, Michael P. Wellman:
Impediments to Universal Preference-Based Default Theories.
94-102
- Mark Drummond:
Situated Control Rules.
103-113
- Oren Etzioni:
Tractable Decision-Analytic Control.
114-125
- Alan M. Frisch:
A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.
126-136
- Hector Geffner:
Default Reasoning, Minimality and Coherence.
137-148
- Nicolas Helft:
Induction as Nonmonotonic Inference.
149-156
- Graeme Hirst:
Ontological Assumptions in Knowledge Representation.
157-169
- Yoshiteru Ishida:
A Framework for Dynamic Representation of Knowledge: A Minimum Principle in Organizing Knowledge Representation.
170-179
- Simon Kasif:
Parallel Solutions to Constraint Satisfaction Problems.
180-188
- Henry A. Kautz, Bart Selman:
Hard Problems for Simple Default Logics.
189-197
- Johannes A. G. M. Koomen:
Localizing Temporal Constraint Propagation.
198-202
- Phyllis Koton, Melissa P. Chase:
Knowledge Representation in a Case-Based Reasoning System: Defaults and Exceptions.
203-211
- Daniel J. Lehmann:
What Does a Conditional Knowledge Base Entail?
212-222
- Debbie Leishman:
Analogy as a Constrained Partial Correspondence Over Conceptual Graphs.
223-234
- Vladimir Lifschitz:
Between Circumscription and Autoepistemic Logic.
235-244
- Fangzhen Lin, Yoav Shoham:
Argument Systems: A Uniform Basis for Nonmonotonic Reasoning.
245-255
- Ronald Prescott:
Analogical Reasoning, Defeasible Reasoning, and the Reference Class.
256-265
- Eliezer L. Lozinskii:
Plausible World Assumption.
266-275
- V. Wiktor Marek, Miroslaw Truszczynski:
Relating Autoepistemic and Default Logics.
276-288
- David A. McAllester, Robert Givan, Tanveer Fatima:
Taxonomic Syntax for First Order Inference.
289-300
- Bernhard Nebel:
A Knowledge Level Analysis of Belief Revision.
301-311
- Eric Neufeld:
Defaults and Probabilities; Extensions and Coherence.
312-323
- Edwin P. D. Pednault:
ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus.
324-332
- David Poole:
What the Lottery Paradox Tells Us About Default Reasoning.
333-340
- Teodor C. Przymusinski:
Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming.
341-348
- Arcot Rajasekar, Jorge Lobo, Jack Minker:
Skeptical Reasoning and Disjunctive Programs.
349-356
- David A. Randell, Anthony G. Cohn:
Modelling Topological and Metrical Properties in Physical Processes.
357-368
- Anand S. Rao, Norman Y. Foo:
Formal Theories of Belief Revision.
369-380
- Manny Rayner:
Did Newton Solve the "Extended Prediction Problem"?
381-385
- Stanley J. Rosenschein:
Synthesizing Information-Tracking Automata from Environment Descriptions.
386-393
- Francesca Rossi, Ugo Montanari:
Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation.
394-399
- Stuart J. Russell, Eric Wefald:
Principles of Metareasoning.
400-411
- Erik Sandewall:
Combining Logic and Differential Equations for Describing Real-World Systems.
412-420
- Manfred Schmidt-Schauß:
Subsumption in KL-ONE is Undecidable.
421-431
- James G. Schmolze:
Terminological Knowledge Representation Systems Supporting N-ary Terms.
432-443
- Lenhart K. Schubert, Chung Hee Hwang:
An Episodic Knowledge Representation for Narrative Texts.
444-458
- Edward P. Stabler Jr.:
Syntactic Equality in Knowledge Representation and Reasoning.
459-466
- Devika Subramanian, John Woodfill:
Making Situation Calculus Indexical.
467-474
- Josh D. Tenenberg:
Inheritance in Automated Planning.
475-485
- Wlodek Zadrozny:
Cardinalities and Well Orderings in a Common-Sense Set Theory.
486-497
Presentations from the Symposium on Nonmonotonic Reasoning
Last update Fri May 24 19:34:14 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
