ECAI Workshop on Knowledge Representation and Reasoning

Keyphrases

Publications

volume 810, 1994

Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop] ECAI Workshop on Knowledge Representation and Reasoning 810 (1994)

1992

Antonis C. Kakas
Default Reasoning via Negation as Failure. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Yuen Q. Lin
A Common-Sense Theory of Time. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Jürgen Allgayer, Enrico Franconi
Collective Entities and Relations in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Wolfgang Nejdl, Markus Banagl
Asking About Posibilities - Revision and Update Semantics for Subjunctive Queries. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Russell Greiner, Dale Schuurmans
Learning an Optimally Accurate Representation System. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Yoav Shoham, Steve B. Cousins
Logics of Mental Attitudes in AI. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf
Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Claudio Bettini
A Formalization of Interval-Based Temporal Subsumption in First Order Logic. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Cees Witteveen, Catholijn M. Jonker
Revision by Expansion in Logic Programs. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Craig Boutilier
Normative, Subjunctive and Autoepistemic Defaults. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Luca Console, Daniele Theseider Dupré
Adcuctive Reasoning with Abstraction Axioms. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Ilkka Niemelä, Jussi Rintanen
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Jürgen Kalinski
Weak Autoepistemic Reasoning and Well-Founded Semantics. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Karen L. Myers, Kurt Konolige
Reasoning with Analogical Representations. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Emil Weydert
Hyperrational Conditionals - Monotonic Reasoning About Nested Default Conditionals. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Georg Gottlob
The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Franz Baader, Bernhard Hollunder
Computing Extensions of Terminological Default Theories. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Gerhard Lakemeyer, Bernhard Nebel
Foundations of Knowledge Representation and Reasoning. ECAI Workshop on Knowledge Representation and Reasoning (1992)
Henry A. Kautz, Bart Selman
Forming Concepts for Fast Inference. ECAI Workshop on Knowledge Representation and Reasoning (1992)