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

Last update Wed May 22 16:07:13 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page