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