3. KR 1992:
Cambridge,
Massachusetts,
USA
Bernhard Nebel,
Charles Rich,
William R. Swartout (Eds.):
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge,
MA,
October 25-29,
1992. Morgan Kaufmann,
1992,
ISBN 1-55860-262-3
Planning and Temporal Reasoning
- Jacek Gibert:
Declarative Knowledge Representation in Planning and Scheduling.
3-13 BibTeX
- Yalin Xiong, Norman M. Sadeh, Katia P. Sycara:
Intelligent Backtracking Techniques for Job Shop Scheduling.
14-23 BibTeX
- Manolis Koubarakis:
Dense Time and Temporal Constraints with !=.
24-35 BibTeX
- Robert Schrag, Mark Boday, Jim Carciofini:
Managing Disjunction for Practical Temporal Reasoning.
36-46 BibTeX
- Ernest Davis:
Infinite Loops in Finite Time: Some Observations.
47-58 BibTeX
- L. Thorne McCarty, Ron van der Meyden:
Reasoning About Indefinite Actions.
59-70 BibTeX
- Peter Haddawy, Steve Hanks:
Representations for Decision-Theoretic Planning: Utility Functions for Deadline Goals.
71-82 BibTeX
- Steven Minton, Mark Drummond, John L. Bresina, Andrew B. Philips:
Total Order vs. Partial Order Planning: Factors Influencing Performance.
83-92 BibTeX
- Andrew R. Haas:
A Reactive Planner that Uses Explanation Closure.
93-102 BibTeX
- J. Scott Penberthy, Daniel S. Weld:
UCPOP: A Sound, Complete, Partial Order Planner for ADL.
103-114 BibTeX
- Oren Etzioni, Steve Hanks, Daniel S. Weld, Denise Draper, Neal Lesh, Mike Williamson:
An Approach to Planning with Incomplete Information.
115-125 BibTeX
- Christer Bäckström:
Equivalence and Tractability Results for SAS+ Planning.
126-137 BibTeX
Specialized Reasoning
Issues in Multi-Agent Environments
Taxonomic Logics
- Ronald J. Brachman:
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality.
247-258 BibTeX
- Alexander Borgida:
Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed.
259-269 BibTeX
- Franz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi:
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On.
270-281 BibTeX
- Robert A. Weida, Diane J. Litman:
Terminological Reasoning with Constraint Networks and an Application to Plan Recognition.
282-293 BibTeX
- Joachim Quantz, Véronique Royer:
A Preference Semantics for Defaults in Terminological Logics.
294-305 BibTeX
- Franz Baader, Bernhard Hollunder:
Embedding Defaults into Terminological Knowledge Representation Formalisms.
306-317 BibTeX
- Philipp Hanschke:
Specifying Role Interaction in Concept Languages.
318-329 BibTeX
- Marco Cadoli, Marco Schaerf:
Approximation in Concept Description Languages.
330-341 BibTeX
- Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt:
Adding Epistemic Operators to Concept Languages.
342-353 BibTeX
Natural Language Processing
- Lucja Iwanska:
A General Semantic Model of Negation in Natural Language: Representation and Inference.
357-368 BibTeX
- Massimo Poesio:
Conversational Events and Discourse State Change: A Preliminary Report.
369-380 BibTeX
Deduction
Logics of Belief and Intention
Diagnosis and Abduction
Nonmonotonic Logics
- Horacio L. Arló-Costa, Scott J. Shapiro:
Maps Between Nonmonotonic and Conditional Logic.
553-564 BibTeX
- Gabriella Crocco, Philippe Lamarre:
On the Connection between Non-monotonic Inference Systems and Conditional Logics.
565-571 BibTeX
- Philippe Lamarre:
A Promenade from Monotonicity to Non-Monotonicity Following a Theorem Prover.
572-580 BibTeX
- Grigori Schwarz:
Bounding Introspection in Nonmonotonic Logic.
581-590 BibTeX
- Jürgen Dix:
A Framework for Representing and Characterizing Semantics of Logic Programs.
591-602 BibTeX
- Vladimir Lifschitz, Thomas Y. C. Woo:
Answer Sets in General Nonmonotonic Reasoning (Preliminary Report).
603-614 BibTeX
- Geneviève Simonet:
RS Theory: A Really Skeptical Theory of Inheritance with Exceptions.
615-626 BibTeX
- Ilkka Niemelä, Jussi Rintanen:
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning.
627-638 BibTeX
- Gerhard Lakemeyer:
All You Ever Wanted to Know about Tweety (But Were Afraid to Ask).
639-648 BibTeX
- Mark Ryan:
Representing Defaults as Sentences with Reduced Priority.
649-660 BibTeX
- Moisés Goldszmidt, Judea Pearl:
Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions.
661-672 BibTeX
- Salem Benferhat, Didier Dubois, Henri Prade:
Representing Default Rules in Possibilistic Logic.
673-684 BibTeX
- Craig Boutilier:
Normative, Subjunctive, and Autoepistemic Defaults: Adopting the Ramsey Test.
685-696 BibTeX
- Wolfgang Nejdl, Markus Banagl:
Asking About Possibilities - Revision and Update Semantics for Subjunctive Queries.
697-708 BibTeX
- Gadi Pinkas, Ronald Prescott Loui:
Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict.
709-719 BibTeX
- Timothy M. Lownie:
A Contraction Operator For Classical Propositional Logic.
720-731 BibTeX
- Marie-Odile Cordier, Pierre Siegel:
A Temporal Revision Model for Reasoning about World Change.
732-739 BibTeX
- Alvaro del Val:
Computing Knowledge Base Updates.
740-750 BibTeX
Reasoning Architectures
Invited Talks and Panels
Copyright © Sat May 16 23:28:17 2009
by Michael Ley (ley@uni-trier.de)
