Foundations of Knowledge Representation and Reasoning a Guide to This Volume

[1]  Wolfgang Nejdl,et al.  Asking About Possibilities - Revision and Update Semantics for Subjunctive Queries , 1992, KR.

[2]  Franz Baader,et al.  Computing Extensions of Terminological Default Theories , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

[3]  Werner Nutt,et al.  Queries, Rules and Definitions as Epistemic Sentences in Concept Languages , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

[4]  Bart Selman,et al.  Forming Concepts for Fast Inference , 1992, AAAI.

[5]  Drew McDermott,et al.  Tarskian Semantics, or No Notation Without Denotation! , 1986, Cogn. Sci..

[6]  Antonis C. Kakas,et al.  Default Reasoning via Negation as Failure , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

[7]  Enrico Franconi,et al.  Collective Entities and Relations in Concept Languages , 1992, Description Logics.

[8]  Catholijn M. Jonker,et al.  Revision by Expansion in Logic Programs , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

[9]  Bernhard Nebel,et al.  Belief Revision and Default Reasoning: Syntax-Based Approaches , 1991, KR.

[10]  John McCarthy,et al.  Programs with common sense , 1960 .

[11]  Y. Shoham,et al.  Logics of Mental Attitudes in Ai a Very Preliminary Survey , 1994 .

[12]  Hector J. Levesque,et al.  Expressiveness and tractability in knowledge representation and reasoning 1 , 1987, Comput. Intell..

[13]  Georg Gottlob,et al.  Complexity Results for Nonmonotonic Logics , 1992, J. Log. Comput..

[14]  Patrick J. Hayes,et al.  A Common-Sense Theory of Time , 1985, IJCAI.

[15]  Dale Schuurmans,et al.  Learning an Optimally Accurate Representation System , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

[16]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[17]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[18]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[19]  Gert Smolka,et al.  Attributive Concept Descriptions with Complements , 1991, Artif. Intell..

[20]  Kurt Konolige,et al.  Reasoning with Analogical Representations , 1992, KR.

[21]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[22]  John McCarthy,et al.  Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..

[23]  Gerhard Brewka,et al.  Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.

[24]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[25]  Emil Weydert,et al.  Hyperrational Conditionals - Monotonic Reasoning About Nested Default Conditionals , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

[26]  H. Levesque.  Logic and the complexity of reasoning , 1988 .

[27]  Gerhard Lakemeyer,et al.  Foundations of Knowledge Representation and Reasoning , 1994, Lecture Notes in Computer Science.

[28]  Kurt Konolige,et al.  Computing the Extensions of Autoepistemic and Default Logics with a Truth Maintenance System , 1990, AAAI.

[29]  Craig Boutilier,et al.  Normative, Subjunctive and Autoepistemic Defaults , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

[30]  Bart Selman,et al.  Knowledge Compilation using Horn Approximations , 1991, AAAI.

[31]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[32]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[33]  Ronald J. Brachman,et al.  The Future of Knowledge Representation , 1990, AAAI.

[34]  Camilla Schwind,et al.  A Tableau-Based Characterisation for Default Logic , 1991, ECSQARU.

[35]  Jürgen Kalinski,et al.  Weak Autoepistemic Reasoning and Well-Founded Semantics , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

[36]  Jon Doyle,et al.  Two Theses of Knowledge Representation: Language Restrictions, Taxonomic Classification, and the Utility of Representation Services , 1991, Artif. Intell..

[37]  Werner Nutt,et al.  Tractable Concept Languages , 1991, IJCAI.

[38]  E. W. Adams,et al.  The logic of conditionals , 1975 .

[39]  Claudio Bettini,et al.  A Formalization of Interval-Based Temporal Subsumption in First Order Logic , 1992, ECAI Workshop on Knowledge Representation and Reasoning.