![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
2nd KR 1991: Cambridge, Massachusetts, USA
- James F. Allen, Richard Fikes, Erik Sandewall:
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, MA, USA, April 22-25, 1991. Morgan Kaufmann 1991, ISBN 1-55860-165-1
Submitted Papers
- James F. Allen:
Planning as Temporal Reasoning. KR 1991: 3-14 - Jonathan Amsterdam:
Temporal Reasoning and Narrative Conventions. KR 1991: 15-21 - Giuseppe Attardi, Maria Simi:
Reflections about Reflection. KR 1991: 22-31 - Christian Balkenius, Peter Gärdenfors:
Nonmonotonic Inferences in Neural Networks. KR 1991: 32-39 - Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter:
Meta-Reasoning in Executable Temporal Logic. KR 1991: 40-49 - John Bell:
Pragmatic Logics. KR 1991: 50-60 - Antonio Brogi, Franco Turini:
Metalogic for Knowledge Representation. KR 1991: 61-69 - Tom Bylander:
The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability. KR 1991: 70-77 - Jacqueline Castaing:
A New Formalisation of Subsumption in Frame-Based Representation Systems. KR 1991: 78-88 - Prasad Chalasani, Oren Etzioni, John Mount:
Integrating Efficient Model-Learning and Problem-Solving Algorithms in Permutation Environments. KR 1991: 89-98 - Seng-cho Timothy Chou, Marianne Winslett:
Immortal: A Model-Based Belief Revision System. KR 1991: 99-110 - William S. Davis, James R. Carnes:
Clustering Temporal Intervals To Generate Reference Hierarchies. KR 1991: 111-117 - James P. Delgrande, W. Ken Jackson:
Default Logic Revisited. KR 1991: 118-127 - Premkumar T. Devanbu, Diane J. Litman:
Plan-Based Terminological Reasoning. KR 1991: 128-138 - Charles Dierbach, Daniel L. Chester:
A Formal Basis for Analogical Reasoning. KR 1991: 139-150 - Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
The Complexity of Concept Languages. KR 1991: 151-162 - Jon Doyle:
Rational Belief Revision. KR 1991: 163-174 - Didier Dubois, Henri Prade:
Conditional Objects and Non-Monontonic Reasoning. KR 1991: 175-185 - Eugene C. Freuder:
Completable Representations of Constraint Satisfaction Problems. KR 1991: 186-195 - Alan M. Frisch, Richard B. Scherl:
A General Framework for Modal Deduction. KR 1991: 196-207 - Dov M. Gabbay, Els Laenens, Dirk Vermeir:
Credulous vs. Sceptical Semantics for Ordered Logic Programs. KR 1991: 208-217 - Hector Geffner:
Beyond Negation as Failure. KR 1991: 218-229 - Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski:
Disjective Defaults. KR 1991: 230-237 - Michael R. Genesereth, Jane Yung-jen Hsu:
Partial Programs. KR 1991: 238-249 - Matthew L. Ginsberg:
Computational Considerations in Reasoning about Action. KR 1991: 250-261 - Matthew L. Ginsberg:
The Computational Value of Nonmonotonic Reasoning. KR 1991: 262-268 - Gösta Grahne:
Updates and Counterfactuals. KR 1991: 269-276 - Russell Greiner, Pekka Orponen:
Probably Approximately Optimal Derivation Strategies. KR 1991: 277-288 - Benjamin N. Grosof:
Generalizing Prioritization. KR 1991: 289-300 - Adam J. Grove, Joseph Y. Halpern:
Naming and Identity in a Multi-Agent Epistemic Logic. KR 1991: 301-312 - Peter Haddawy:
A Temporal Probability Logic for Representing Actions. KR 1991: 313-324 - Joseph Y. Halpern, Moshe Y. Vardi:
Model Checking vs. Theorem Proving: A Manifesto. KR 1991: 325-334 - Bernhard Hollunder, Franz Baader:
Qualifying Number Restrictions in Concept Languages. KR 1991: 335-346 - Stephen G. Kaufman:
A Formal Theory of Spatial Reasoning. KR 1991: 347-356 - Philippe Lamarre:
S4 as the Conditional Logic of Nonmonotonicity. KR 1991: 357-367 - Gerhard Lakemeyer:
On the Relation between Explicit and Implicit Belief. KR 1991: 368-375 - Vladimir Lifschitz:
Toward a Metatheory of Action. KR 1991: 376-386 - Hirofumi Katsuno, Alberto O. Mendelzon:
On the Difference between Updating a Knowledge Base and Revising It. KR 1991: 387-394 - V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski:
Modal Nonmonotonic Logics: Ranges, Characterization, Computation. KR 1991: 395-404 - Karen L. Myers:
Universal Attachment: An Integration Method for Logic Hybrids. KR 1991: 405-416 - Bernhard Nebel:
Belief Revision and Default Reasoning: Syntax-Based Approaches. KR 1991: 417-428 - C. David Page Jr., Alan M. Frisch:
Generalizing Atoms in Constraint Logic. KR 1991: 429-440 - Judea Pearl, Thomas Verma:
A Theory of Inferred Causation. KR 1991: 441-452 - Tarcisio H. C. Pequeno, Arthur Buchsbaum:
The Logic of Epistemic Inconsistency. KR 1991: 453-460 - Gregory M. Provan, David L. Poole:
The Utility of Consistency-Based Diagnostic Techniques. KR 1991: 461-472 - Anand S. Rao, Michael P. Georgeff:
Modeling Rational Agents within a BDI-Architecture. KR 1991: 473-484 - William L. Rodi, Stephen G. Pimentel:
A Nonmonotonic Assumption-Based TMS Using Stable Bases. KR 1991: 485-495 - Torsten Schaub:
Assertional Default Theories: A Semantical View. KR 1991: 496-506 - Paul Schweizer:
A Metalinguistic Treatment of Epistemic Contexts. KR 1991: 507-513 - Jeffrey Van Baalen:
The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures. KR 1991: 514-525 - Gerard Vreeswijk:
The Feasibility of Defeat in Defeasible Reasoning. KR 1991: 526-534 - Michael P. Wellman, Max Henrion:
Qualitative Intercausal Relations, or Explaining "Explaining Away". KR 1991: 535-546 - Michael P. Wellman:
Qualitative Simulation with Multivariate Constraints. KR 1991: 547-557 - Robert Wilensky:
The Ontology and Representation of Situations. KR 1991: 558-569 - Cees Witteveen:
Skeptical Reason Maintenance is Tractable. KR 1991: 570-581
Invited Presentations
- Peter Gärdenfors:
Nonmonotonic Inferences Based on Expectations: A Preliminary Report. KR 1991: 585-590 - Charles Rich:
Implemented Knowledge Representation and Reasoning Systems: An Endangered Species? KR 1991: 591-592
Position Papers from the Panel on Knowledge Sharing and Reuse
- William Mark:
Panel: Achieving Large Scale Knowledge Sharing. KR 1991: 595-596 - Giuseppe Attardi:
Knowledge Sharing: A Feasible Dream. KR 1991: 597-598 - Michael R. Genesereth:
Knowledge Interchange Format. KR 1991: 599-600 - Thomas R. Gruber:
The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases. KR 1991: 601-602
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.