Foundations of Knowledge Representation and Reasoning

Foundations of knowledge representation and reasoning.- Collective entities and relations in concept languages.- Computing extensions of terminological default theories.- A formalization of interval-based temporal subsumption in first order logic.- Normative, subjunctive and autoepistemic defaults.- Abductive reasoning with abstraction axioms.- Queries, rules and definitions as epistemic sentences in concept languages.- The power of beliefs or translating default logic into standard autoepistemic logic.- Learning an optimally accurate representation system.- Default reasoning via negation as failure.- Weak autoepistemic reasoning and well-founded semantics.- Forming concepts for fast inference.- A common-sense theory of time.- Reasoning with analogical representations.- Asking about possibilities - Revision and update semantics for subjunctive queries Extended report.- On the impact of stratification on the complexity of nonmonotonic reasoning.- Logics of mental attitudes in AI.- Hyperrational conditionals.- Revision by expansion in logic programs.

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

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

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

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

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

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

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

[8]  R. Reiter,et al.  Nonmonotonic reasoning , 1988 .

[9]  Ilkka Niemelä,et al.  On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

[10]  Daniele Theseider Dupré,et al.  Adcuctive Reasoning with Abstraction Axioms , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

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

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

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

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

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

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

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

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

[19]  Georg Gottlob,et al.  A Comparison of Some Schemes for Translating Logic to C , 1994, ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[35]  C. E. Alchourrón,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985 .

[36]  室 章治郎.  Michael R.Garey/David S.Johnson 著, "COMPUTERS AND INTRACTABILITY A guide to the Theory of NP-Completeness", FREEMAN, A5判変形判, 338+xii, \5,217, 1979 , 1980 .

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

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

[39]  Yuen Q. Lin,et al.  A Common-Sense Theory of Time , 1992, ECAI Workshop on Knowledge Representation and Reasoning.

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

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

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