default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th ECAI 1992 Workshop on Knowledge Representation and Reasoning: Vienna, Austria
- Gerhard Lakemeyer, Bernhard Nebel:
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]. Lecture Notes in Computer Science 810, Springer 1994, ISBN 3-540-58107-3 - Gerhard Lakemeyer, Bernhard Nebel:
Foundations of Knowledge Representation and Reasoning. 1-12 - Jürgen Allgayer, Enrico Franconi:
Collective Entities and Relations in Concept Languages. 13-29 - Franz Baader, Bernhard Hollunder:
Computing Extensions of Terminological Default Theories. 30-52 - Claudio Bettini:
A Formalization of Interval-Based Temporal Subsumption in First Order Logic. 53-73 - Craig Boutilier:
Normative, Subjunctive and Autoepistemic Defaults. 74-97 - Luca Console, Daniele Theseider Dupré
:
Adcuctive Reasoning with Abstraction Axioms. 98-112 - Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf:
Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. 113-132 - Georg Gottlob:
The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. 133-144 - Russell Greiner, Dale Schuurmans:
Learning an Optimally Accurate Representation System. 145-159 - Antonis C. Kakas:
Default Reasoning via Negation as Failure. 160-178 - Jürgen Kalinski:
Weak Autoepistemic Reasoning and Well-Founded Semantics. 179-199 - Henry A. Kautz, Bart Selman:
Forming Concepts for Fast Inference. 200-215 - Yuen Q. Lin:
A Common-Sense Theory of Time. 216-228 - Karen L. Myers, Kurt Konolige:
Reasoning with Analogical Representations. 229-249 - Wolfgang Nejdl, Markus Banagl:
Asking About Posibilities - Revision and Update Semantics for Subjunctive Queries. 250-274 - Ilkka Niemelä, Jussi Rintanen:
On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning. 275-295 - Yoav Shoham, Steve B. Cousins:
Logics of Mental Attitudes in AI. 296-309 - Emil Weydert:
Hyperrational Conditionals - Monotonic Reasoning About Nested Default Conditionals. 310-332 - Cees Witteveen, Catholijn M. Jonker:
Revision by Expansion in Logic Programs. 333-355
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:47 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:
