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

• 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
  

Last update Sat May 18 18:24:45 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page