default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st KR 1989: Toronto, Canada
- Ronald J. Brachman, Hector J. Levesque, Raymond Reiter:
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 Tenenberg, Johannes A. G. M. Koomen:
A Non-Reified Temporal Logic. KR 1989: 2-10 - Andrew B. Baker:
A Simple Solution to the Yale Shooting Problem. KR 1989: 11-20 - John A. Barnden:
Belief, Metaphorically Speaking. KR 1989: 21-32 - Alexander Borgida, David W. Etherington:
Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning. KR 1989: 33-43 - Tom Bylander, Dean Allemang, Michael C. Tanner, John R. Josephson:
Some Results Concerning the Computational Complexity of Abduction. KR 1989: 44-54 - Anthony G. Cohn:
On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning. KR 1989: 55-66 - James M. Crawford, Benjamin Kuipers:
Towards a Theory of Access-Limited Logic for Knowledge Representation. KR 1989: 67-78 - Ernest Davis:
Solutions to a Paradox of Perception with Limited Acuity. KR 1989: 79-82 - Rina Dechter, Itay Meiri, Judea Pearl:
Temporal Constraint Networks. KR 1989: 83-93 - Jon Doyle, Michael P. Wellman:
Impediments to Universal Preference-Based Default Theories. KR 1989: 94-102 - Mark Drummond:
Situated Control Rules. KR 1989: 103-113 - Oren Etzioni:
Tractable Decision-Analytic Control. KR 1989: 114-125 - Alan M. Frisch:
A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. KR 1989: 126-136 - Hector Geffner:
Default Reasoning, Minimality and Coherence. KR 1989: 137-148 - Nicolas Helft:
Induction as Nonmonotonic Inference. KR 1989: 149-156 - Graeme Hirst:
Ontological Assumptions in Knowledge Representation. KR 1989: 157-169 - Yoshiteru Ishida:
A Framework for Dynamic Representation of Knowledge: A Minimum Principle in Organizing Knowledge Representation. KR 1989: 170-179 - Simon Kasif:
Parallel Solutions to Constraint Satisfaction Problems. KR 1989: 180-188 - Henry A. Kautz, Bart Selman:
Hard Problems for Simple Default Logics. KR 1989: 189-197 - Johannes A. G. M. Koomen:
Localizing Temporal Constraint Propagation. KR 1989: 198-202 - Phyllis Koton, Melissa P. Chase:
Knowledge Representation in a Case-Based Reasoning System: Defaults and Exceptions. KR 1989: 203-211 - Daniel Lehmann:
What Does a Conditional Knowledge Base Entail? KR 1989: 212-222 - Debbie Leishman:
Analogy as a Constrained Partial Correspondence Over Conceptual Graphs. KR 1989: 223-234 - Vladimir Lifschitz:
Between Circumscription and Autoepistemic Logic. KR 1989: 235-244 - Fangzhen Lin, Yoav Shoham:
Argument Systems: A Uniform Basis for Nonmonotonic Reasoning. KR 1989: 245-255 - Ronald Prescott:
Analogical Reasoning, Defeasible Reasoning, and the Reference Class. KR 1989: 256-265 - Eliezer L. Lozinskii:
Plausible World Assumption. KR 1989: 266-275 - V. Wiktor Marek, Miroslaw Truszczynski:
Relating Autoepistemic and Default Logics. KR 1989: 276-288 - David A. McAllester, Robert Givan, Tanveer Fatima:
Taxonomic Syntax for First Order Inference. KR 1989: 289-300 - Bernhard Nebel:
A Knowledge Level Analysis of Belief Revision. KR 1989: 301-311 - Eric Neufeld:
Defaults and Probabilities; Extensions and Coherence. KR 1989: 312-323 - Edwin P. D. Pednault:
ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus. KR 1989: 324-332 - David Poole:
What the Lottery Paradox Tells Us About Default Reasoning. KR 1989: 333-340 - Teodor C. Przymusinski:
Three-Valued Formalizations of Non-Monotonic Reasoning and Logic Programming. KR 1989: 341-348 - Arcot Rajasekar, Jorge Lobo, Jack Minker:
Skeptical Reasoning and Disjunctive Programs. KR 1989: 349-356 - David A. Randell, Anthony G. Cohn:
Modelling Topological and Metrical Properties in Physical Processes. KR 1989: 357-368 - Anand S. Rao, Norman Y. Foo:
Formal Theories of Belief Revision. KR 1989: 369-380 - Manny Rayner:
Did Newton Solve the "Extended Prediction Problem"? KR 1989: 381-385 - Stanley J. Rosenschein:
Synthesizing Information-Tracking Automata from Environment Descriptions. KR 1989: 386-393 - Francesca Rossi, Ugo Montanari:
Exact Solution in Linear Time of Networks of Constraints Using Perfect Relaxation. KR 1989: 394-399 - Stuart J. Russell, Eric Wefald:
Principles of Metareasoning. KR 1989: 400-411 - Erik Sandewall:
Combining Logic and Differential Equations for Describing Real-World Systems. KR 1989: 412-420 - Manfred Schmidt-Schauß:
Subsumption in KL-ONE is Undecidable. KR 1989: 421-431 - James G. Schmolze:
Terminological Knowledge Representation Systems Supporting N-ary Terms. KR 1989: 432-443 - Lenhart K. Schubert, Chung Hee Hwang:
An Episodic Knowledge Representation for Narrative Texts. KR 1989: 444-458 - Edward P. Stabler Jr.:
Syntactic Equality in Knowledge Representation and Reasoning. KR 1989: 459-466 - Devika Subramanian, John Woodfill:
Making Situation Calculus Indexical. KR 1989: 467-474 - Josh D. Tenenberg:
Inheritance in Automated Planning. KR 1989: 475-485 - Wlodek Zadrozny:
Cardinalities and Well Orderings in a Common-Sense Set Theory. KR 1989: 486-497
Presentations from the Symposium on Nonmonotonic Reasoning
- David W. Etherington, Kenneth D. Forbus, Matthew L. Ginsberg, David J. Israel, Vladimir Lifschitz:
Critical Issues in Nonmonotonic Reasoning. KR 1989: 500-504 - Judea Pearl:
Probabilistic Semantics for Nonmonotonic Reasoning: A Survey. KR 1989: 505-516
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-02-10 22:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
