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