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