default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd KR 1992: Cambridge, Massachusetts, USA
- Bernhard Nebel, Charles Rich, William R. Swartout:
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, MA, USA, 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. KR 1992: 3-13 - Yalin Xiong, Norman M. Sadeh, Katia P. Sycara:
Intelligent Backtracking Techniques for Job Shop Scheduling. KR 1992: 14-23 - Manolis Koubarakis:
Dense Time and Temporal Constraints with !=. KR 1992: 24-35 - Robert Schrag, Mark Boday, Jim Carciofini:
Managing Disjunction for Practical Temporal Reasoning. KR 1992: 36-46 - Ernest Davis:
Infinite Loops in Finite Time: Some Observations. KR 1992: 47-58 - L. Thorne McCarty, Ron van der Meyden:
Reasoning About Indefinite Actions. KR 1992: 59-70 - Peter Haddawy, Steve Hanks:
Representations for Decision-Theoretic Planning: Utility Functions for Deadline Goals. KR 1992: 71-82 - Steven Minton, Mark Drummond, John L. Bresina, Andrew B. Philips:
Total Order vs. Partial Order Planning: Factors Influencing Performance. KR 1992: 83-92 - Andrew R. Haas:
A Reactive Planner that Uses Explanation Closure. KR 1992: 93-102 - J. Scott Penberthy, Daniel S. Weld:
UCPOP: A Sound, Complete, Partial Order Planner for ADL. KR 1992: 103-114 - Oren Etzioni, Steve Hanks, Daniel S. Weld, Denise Draper, Neal Lesh, Mike Williamson:
An Approach to Planning with Incomplete Information. KR 1992: 115-125 - Christer Bäckström:
Equivalence and Tractability Results for SAS+ Planning. KR 1992: 126-137
Specialized Reasoning
- Nevin Lianwen Zhang, David L. Poole:
Stepwise-Decomposable Influence Diagrams. KR 1992: 141-152 - Daphne Koller, Joseph Y. Halpern:
A Logic for Approximate Reasoning. KR 1992: 153-164 - David A. Randell, Zhan Cui, Anthony G. Cohn:
A Spatial Logic based on Regions and Connection. KR 1992: 165-176 - Ernest Davis:
Axiomatizing Qualitative Process Theory. KR 1992: 177-188 - Karen L. Myers, Kurt Konolige:
Reasoning with Analogical Representations. KR 1992: 189-200 - P. Pandurang Nayak:
Order of Magnitude Reasoning using Logarithms. KR 1992: 201-210
Issues in Multi-Agent Environments
- Adam J. Grove:
Semantics for Knowledge and Communication. KR 1992: 213-224 - Yoav Shoham, Moshe Tennenholtz:
Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations (Preliminary Report). KR 1992: 225-231 - Anthony S. Maida:
Knowledge Representation Requirements for Description-Based Communication. KR 1992: 232-243
Taxonomic Logics
- Ronald J. Brachman:
"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. KR 1992: 247-258 - Alexander Borgida:
Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed. KR 1992: 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. KR 1992: 270-281 - Robert A. Weida, Diane J. Litman:
Terminological Reasoning with Constraint Networks and an Application to Plan Recognition. KR 1992: 282-293 - Joachim Quantz, Véronique Royer:
A Preference Semantics for Defaults in Terminological Logics. KR 1992: 294-305 - Franz Baader, Bernhard Hollunder:
Embedding Defaults into Terminological Knowledge Representation Formalisms. KR 1992: 306-317 - Philipp Hanschke:
Specifying Role Interaction in Concept Languages. KR 1992: 318-329 - Marco Cadoli, Marco Schaerf:
Approximation in Concept Description Languages. KR 1992: 330-341 - Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt:
Adding Epistemic Operators to Concept Languages. KR 1992: 342-353
Natural Language Processing
- Lucja Iwanska:
A General Semantic Model of Negation in Natural Language: Representation and Inference. KR 1992: 357-368 - Massimo Poesio:
Conversational Events and Discourse State Change: A Preliminary Report. KR 1992: 369-380
Deduction
- Russell Greiner, Dale Schuurmans:
Learning Useful Horn Approximations. KR 1992: 383-392 - Mukesh Dalal:
Tractable Deduction in Knowledge Representation Systems. KR 1992: 393-402 - Robert Givan, David A. McAllester:
New Results on Local Inference Relations. KR 1992: 403-412 - Toni Bollinger, Udo Pletat:
An Order-Sorted Logic with Sort Literals and Disjointness Constraints. KR 1992: 413-424 - Dov M. Gabbay, Hans Jürgen Ohlbach:
Quantifier Elimination in Second-Order Predicate Logic. KR 1992: 425-435
Logics of Belief and Intention
- Anand S. Rao, Michael P. Georgeff:
An Abstract Architecture for Rational Agents. KR 1992: 439-449 - James P. Delgrande:
Accessibility in Logics of Explicit Belief. KR 1992: 450-461 - M. David Sadek:
A Study in the Logic of Intention. KR 1992: 462-473
Diagnosis and Abduction
- Yeona Jang:
Knowledge Representation and Incorporation in a Hybrid System with Feedback. KR 1992: 477-488 - Gerhard Friedrich, Wolfgang Nejdl:
Choosing Observations and Actions in Model-Based Diagnosis/Repair Systems. KR 1992: 489-498 - Hwee Tou Ng, Raymond J. Mooney:
Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation. KR 1992: 499-508 - Kurt Konolige:
Using Default and Causal Reasoning in Diagnosis. KR 1992: 509-520 - Hartmut Freitag, Gerhard Friedrich:
Focusing on Independent Diagnosis Problems. KR 1992: 521-531 - Olivier Raiman, Johan de Kleer:
A Minimality Maintenance System. KR 1992: 532-538 - Ron Rymon:
Search through Systematic Set Enumeration. KR 1992: 539-550
Nonmonotonic Logics
- Horacio L. Arló-Costa, Scott J. Shapiro:
Maps Between Nonmonotonic and Conditional Logic. KR 1992: 553-564 - Gabriella Crocco, Philippe Lamarre:
On the Connection between Non-monotonic Inference Systems and Conditional Logics. KR 1992: 565-571 - Philippe Lamarre:
A Promenade from Monotonicity to Non-Monotonicity Following a Theorem Prover. KR 1992: 572-580 - Grigori Schwarz:
Bounding Introspection in Nonmonotonic Logic. KR 1992: 581-590 - Jürgen Dix:
A Framework for Representing and Characterizing Semantics of Logic Programs. KR 1992: 591-602 - Vladimir Lifschitz, Thomas Y. C. Woo:
Answer Sets in General Nonmonotonic Reasoning (Preliminary Report). KR 1992: 603-614 - Geneviève Simonet:
RS Theory: A Really Skeptical Theory of Inheritance with Exceptions. KR 1992: 615-626 - Ilkka Niemelä, Jussi Rintanen:
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. KR 1992: 627-638 - Gerhard Lakemeyer:
All You Ever Wanted to Know about Tweety (But Were Afraid to Ask). KR 1992: 639-648 - Mark Ryan:
Representing Defaults as Sentences with Reduced Priority. KR 1992: 649-660 - Moisés Goldszmidt, Judea Pearl:
Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions. KR 1992: 661-672 - Salem Benferhat, Didier Dubois, Henri Prade:
Representing Default Rules in Possibilistic Logic. KR 1992: 673-684 - Craig Boutilier:
Normative, Subjunctive, and Autoepistemic Defaults: Adopting the Ramsey Test. KR 1992: 685-696 - Wolfgang Nejdl, Markus Banagl:
Asking About Possibilities - Revision and Update Semantics for Subjunctive Queries. KR 1992: 697-708 - Gadi Pinkas, Ronald Prescott Loui:
Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict. KR 1992: 709-719 - Timothy M. Lownie:
A Contraction Operator For Classical Propositional Logic. KR 1992: 720-731 - Marie-Odile Cordier, Pierre Siegel:
A Temporal Revision Model for Reasoning about World Change. KR 1992: 732-739 - Alvaro del Val:
Computing Knowledge Base Updates. KR 1992: 740-750
Reasoning Architectures
- James M. Skinner, George F. Luger:
An Architecture for Integrating Reasoning Paradigms. KR 1992: 753-761 - Vinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos:
Concurrency Control for Knowledge Bases. KR 1992: 762-773
Invited Talks and Panels
- Ramesh S. Patil, Richard Fikes, Peter F. Patel-Schneider, Donald P. McKay, Timothy W. Finin, Thomas R. Gruber, Robert Neches:
The DARPA Knowledge Sharing Effort: A Progress Report. KR 1992: 777-788 - Raymond Reiter:
Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef. KR 1992: 789
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.
last updated on 2025-10-24 21:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
