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