List of contents of
the Proceedings of the
International Conf on Knowledge Representation and Reasoning,
1994 (KR-94)
- c-kr-94-3
- Alessandro Artale and Enrico Franconi:
A Computational Account for a Description Logic of Time and Action.
Pages 3-14.
- c-kr-94-15
- Giuseppe Attardi and Maria Simi:
Proofs in Context.
Pages 15-26.
- c-kr-94-27
- J. A. Barnden, S. Helmreich, E. Iverson, and G. C. Stein:
An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States.
Pages 27-38.
- c-kr-94-39
- Rachel Ben-Eliyahu and Luigi Palopoli:
Reasoning with Minimal Models: Efficient Algorithms and Applications.
Pages 39-50.
- c-kr-94-51
- Brandon Bennett:
Spatial Reasoning with Propositional Logics.
Pages 51-62.
- c-kr-94-63
- Alexander Bochman:
On the Relation Between Default and Modal Consequence Relations.
Pages 63-74.
- c-kr-94-75
- Craig Boutilier:
Toward a Logic for Qualitative Decision Theory.
Pages 75-86.
- c-kr-94-87
- Ronen I. Brafman and Moshe Tennenholtz:
Belief Ascription and Mental-Level Modelling.
Pages 87-98.
- c-kr-94-99
- Marco Cadoli, Thomas Eiter, and Georg Gottlob:
Default Logic as a Query Language.
Pages 99-108.
- c-kr-94-109
- Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi:
A Unified Framework for Class-based Representation Formalism.
Pages 109-120.
- c-kr-94-121
- William W. Cohen and Haym Hirsh:
Learning the Classical Description Logic: Theoretical and Experimental Results.
Pages 121-133.
- c-kr-94-134
- Rina Dechter and Irina Rish:
Directional Resolution: The Davis-Putman Procedure, Revisited.
Pages 134-145.
- c-kr-94-146
- James P. Delgrande and Torsten H. Schaub:
A General Approach to Specificity in Default Reasoning.
Pages 146-157.
- c-kr-94-158
- Barbara Di Eugenio:
Action Representation for Interpreting Purpose Clauses in Natural Language Instructions.
Pages 158-169.
- c-kr-94-170
- Didier Dubois and Henri Prade:
Conditional Objects as Nonmonotonic Consequence Relations: Main Results.
Pages 170-177.
- c-kr-94-178
- Oren Etzioni, Keith Golden, and Daniel S. Weld:
Tractable Closed World Reasoning with Updates.
Pages 178-189.
- c-kr-94-190
- Nir Friedman and Joseph Y. Halpern:
A Knowledge-based Framework for Belief Change, Part II: Revision and Update.
Pages 190-201.
- c-kr-94-202
- Nir Friedman and Joseph Y. Halpern:
On the Complexity of Conditional Logics.
Pages 202-213.
- c-kr-94-214
- Alfonso Gerevini and Len Schubert:
An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning.
Pages 214-225.
- c-kr-94-226
- Matthew L. Ginsberg and David A. McAllester:
GSAT and Dynamic Backtracking.
Pages 226-237.
- c-kr-94-238
- Robert P. Goldman and Mark S. Boddy:
Representing Uncertainty in Simple Planners.
Pages 238-245.
- c-kr-94-246
- N. M. Gotts:
How Far Can We "C"? Defining a "Doughnut" Using Connection Alone.
Pages 246-257.
- c-kr-94-258
- Thomas R. Gruber and Gregory R. Olsen:
An Ontology for Engineering Mathematics.
Pages 258-269.
- c-kr-94-270
- Nicola Guarino, Massimiliano Carrara, and Pierdaniele Giaretta:
An Ontology of Meta-Level Categories.
Pages 270-280.
- c-kr-94-281
- Anthony Hunter:
Defeasible Reasoning with Structured Information.
Pages 281-292.
- c-kr-94-293
- Katsumi Inoue and Chiaki Sakama:
On Positive Occurrences of Negation as Failure.
Pages 293-304.
- c-kr-94-305
- Manfred Jaeger:
Probabilistic Reasoning in Terminological Logics.
Pages 305-316.
- c-kr-94-317
- Yuejun J. Jiang:
On Multiagent Autoepistemic Logic-An Extrospective View.
Pages 317-328.
- c-kr-94-329
- Subbarao Kambhampati:
Refinement Search as a Unifying Framework for Analyzing Planning Algorithms.
Pages 329-340.
- c-kr-94-341
- G. Neelakantan Kartha and Vladimir Lifschitz:
Actions with Indirect Effects (Preliminary Report).
Pages 341-350.
- c-kr-94-351
- Jana Koehler:
An Application of Terminological Logics to Case-based Reasoning.
Pages 351-362.
- c-kr-94-363
- Sven Koenig and Reid G. Simmons:
Risk-Sensitive Planning with Probabilistic Decision Graphs.
Pages 363-373.
- c-kr-94-374
- Kurt Konolige:
Easy to be Hard: Difficult Problems for Greedy Algorithms.
Pages 374-378.
- c-kr-94-379
- Manolis Koubarakis:
Complexity Results for First-Order Theories of Temporal Constraints.
Pages 379-390.
- c-kr-94-391
- Benjamin J. Kuipers and Benjamin Shults:
Reasoning in Logic about Continuous Systems.
Pages 391-402.
- c-kr-94-403
- Gerhard Lakemeyer and Susanne Meyer:
Enhancing the Power of a Decidable First-Order Reasoner.
Pages 403-414.
- c-kr-94-415
- Philippe Lamarre and Yoav Shoham:
Knowledge, Certainty, Belief, and Conditionalisation (Abbreviated Version).
Pages 415-424.
- c-kr-94-425
- Fangzhen Lin and Ray Reiter:
How to progress a Database (and Why) I.
Pages 425-436.
- c-kr-94-437
- L. Thorne McCarty:
Modalities Over Actions, I.
Pages 437-448.
- c-kr-94-449
- Sheila A. McIlraith:
Generating Tests Using Abduction.
Pages 449-460.
- c-kr-94-461
- Yves Moinard and Raymond Rolland:
Preferential Entailments for Circumscriptions.
Pages 461-472.
- c-kr-94-472
- Ilkka Niemelä:
A Decision Method for Nonmonotonic Reasoning Based on Autoepistemic Reasoning.
Pages 472-484.
- c-kr-94-485
- Lin Padgham and Patrick Lambrix:
A Framework for Part-of Hierarchies in Terminological Logics.
Pages 485-496.
- c-kr-94-497
- Anand S. Rao:
Means-End Plan Recognition-Towards a Theory of Reactive Recognition.
Pages 497-508.
- c-kr-94-509
- Klaus Schild:
Terminological Cycles and the Propositional lambda-Calculus.
Pages 509-520.
- c-kr-94-521
- Bart Selman:
Near-Optimal Plans, Tractability, and Reactivity.
Pages 521-529.
- c-kr-94-530
- Sek-Wah Tan and Judea Pearl:
Specification and Evaluation of Preferences Under Uncertainty.
Pages 530-539.
- c-kr-94-540
- Gunnar Teege:
Making the Difference: A Subtraction Operation for Description Logics.
Pages 540-550.
- c-kr-94-551
- Alvaro del Val:
Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation.
Pages 551-561.
- c-kr-94-562
- Jeffrey van Baalen and Richard E. Fikes:
The Role of Reversible Grammars in Translating Between Representation Languages.
Pages 562-571.
- c-kr-94-572
- Peter van Beek and Rina Dechter:
Constraint Tightness versus Global Consistency.
Pages 572-582.
- c-kr-94-583
- Wiebe van der Hoek and Elias Thijsse:
Honesty in Partial Logic.
Pages 583-594.
- c-kr-94-595
- Ron van der Meyden:
Mutual Belief Revision (Preliminary Report).
Pages 595-606.
- c-kr-94-607
- Carlos Viegas Damásio, Luís Moniz Pereira, and Wolfgang Nejdl:
REVISE: An Extended Logic Programming System for Revising Knowledge Bases.
Pages 607-618.
- c-kr-94-619
- Mary-Anne Williams:
Transmutations of Knowledge Systems.
Pages 619-632.
- c-kr-94-633
- Jaime Carbonell:
Knowledge Representation Issues in Integrated Planning and Learning Systems (abstract only).
Pages 633-633.
- c-kr-94-634
- Didier Dubois and Henri Prade:
Non-Standard Theories of Uncertainty in Knowledge Representation and Reasoning.
Pages 634-645.
- c-kr-94-646
- W. A. Woods:
Beyond Ignorance-Based Systems (abstract only).
Pages 646-646.
- c-kr-94-649
- Lin Padgham:
Systems vs.
Pages 649-649.
- c-kr-94-650
- Len Schubert:
Exploiting Natural Language for Knowledge Representation and Reasoning (abstract only).
Pages 650-651.
30-Jul-97 12:09