1. KR 1989:
Toronto, Canada
Presented Papers
Anthony G. Cohn:
On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning.
55-66
Ernest Davis:
Solutions to a Paradox of Perception with Limited Acuity.
79-82
Alan M. Frisch:
A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning.
126-136
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
Debbie Leishman:
Analogy as a Constrained Partial Correspondence Over Conceptual Graphs.
223-234
Ronald Prescott:
Analogical Reasoning, Defeasible Reasoning, and the Reference Class.
256-265
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
Manny Rayner:
Did Newton Solve the "Extended Prediction Problem"?
381-385
Erik Sandewall:
Combining Logic and Differential Equations for Describing Real-World Systems.
412-420
James G. Schmolze:
Terminological Knowledge Representation Systems Supporting N-ary Terms.
432-443
Wlodek Zadrozny:
Cardinalities and Well Orderings in a Common-Sense Set Theory.
486-497
Presentations from the Symposium on Nonmonotonic Reasoning
Judea Pearl:
Probabilistic Semantics for Nonmonotonic Reasoning: A Survey.
505-516
data released under the ODC-BY 1.0 license
