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