10. ECAI 1992 Workshop on Knowledge Representation and Reasoning: Vienna, Austria

@proceedings{DBLP:conf/ecai/1992w1,
  editor    = {Gerhard Lakemeyer and
               Bernhard Nebel},
  title     = {Foundation of Knowledge Representation and Reasoning [the book
               grew out of an ECAI-92 workshop]},
  booktitle = {ECAI Workshop on Knowledge Representation and Reasoning},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {810},
  year      = {1994},
  isbn      = {3-540-58107-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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