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