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