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
Last update Fri May 17 19:33:45 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page