On the Complexity of Conditional Logics

[1]  Joseph Y. Halpern,et al.  A Knowledge-Based Framework for Belief change, Part I: Foundations , 1994, TARK.

[2]  Craig Boutilier,et al.  Toward a Logic for Qualitative Decision Theory , 1994, KR.

[3]  Joseph Y. Halpern,et al.  A Knowledge-Based Framework for Belief Change, Part II: Revision and Update , 1994, KR.

[4]  Georg Gottlob,et al.  The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions , 1993, IJCAI.

[5]  Craig Boutilier,et al.  Revision Sequences and Nested Conditionals , 1993, IJCAI.

[6]  Judea Pearl,et al.  From Conditional Oughts to Qualitative Decision Theory , 1993, UAI.

[7]  Georg Gottlob,et al.  On the complexity of propositional knowledge base revision, updates, and counterfactuals , 1992, Artif. Intell..

[8]  Joseph Y. Halpern,et al.  A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..

[9]  Craig Boutilier,et al.  Normative, Subjunctive, and Autoepistemic Defaults: Adopting the Ramsey Test , 1992, KR.

[10]  Moisés Goldszmidt,et al.  Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions , 1992, KR.

[11]  Georg Gottlob,et al.  Complexity of Propositional Knowledge Base Revision , 1992, CNKBS.

[12]  Hector J. Levesque,et al.  Hard problems for simple default logics , 1992 .

[13]  Hirofumi Katsuno,et al.  A Unified View of Consequence Relation, Belief Revision and Conditional Logic , 1991, IJCAI.

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

[15]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[16]  John Bell.  The Logic of Nonmonotonicity , 1990, Artif. Intell..

[17]  Judea Pearl,et al.  Probabilistic Semantics for Nonmonotonic Reasoning: A Survey , 1989, KR.

[18]  Hector J. Levesque,et al.  Logic and the complexity of reasoning , 1988, J. Philos. Log..

[19]  James P. Delgrande,et al.  An Approach to Default Reasoning Based on a First-Order Conditional Logic: Revised Report , 1987, Artif. Intell..

[20]  F.J.M.M. Veltman,et al.  Logics for conditionals. , 1985 .

[21]  Ronald Fagin,et al.  On the semantics of updates in databases , 1983, PODS.

[22]  John P. Burgess,et al.  Quick completeness proofs for some logics of conditionals , 1981, Notre Dame J. Formal Log..

[23]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

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

[25]  Richard E. Ladner,et al.  The Computational Complexity of Provability in Systems of Modal Propositional Logic , 1977, SIAM J. Comput..

[26]  Brian F. Chellas.  Basic conditional logic , 1975, J. Philos. Log..

[27]  David Lewis.  Intensional logics without interative axioms , 1974, J. Philos. Log..