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