A Calculus and Complexity Bound for Minimal Conditional Logic
暂无分享,去创建一个
[1] Laura Giordano,et al. A Conditional Logic for Belief Revision , 1998, JELIA.
[2] Philippe Lamarre,et al. On the Connection between Non-monotonic Inference Systems and Conditional Logics , 1992, KR.
[3] Gösta Grahne,et al. Updates and Counterfactuals , 1998, J. Log. Comput..
[4] Luca Viganò,et al. Labelled non-classical logics , 2000 .
[5] Jörg Hudelmaier,et al. An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic , 1993, J. Log. Comput..
[6] Dov M. Gabbay,et al. Cut-free proof systems for logics of weak excluded middle , 1999, Soft Comput..
[7] Nicola Olivetti,et al. A Sequent Calculus for Circumscription , 1997, CSL.
[8] Dov M. Gabbay,et al. Conditional logic programming , 1994, ICLP 1994.
[9] M. Fitting. Proof Methods for Modal and Intuitionistic Logics , 1983 .
[10] Sarit Kraus,et al. Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..
[11] Nicola Olivetti,et al. Sequent calculi for propositional nonmonotonic logics , 2002, TOCL.
[12] L. Fariñas del Cerro,et al. Structure, consequence relation and logic , 1994 .
[13] Nicola Olivetti,et al. CondLean: A Theorem Prover for Conditional Logics , 2003, TABLEAUX.
[14] Joseph Y. Halpern,et al. On the Complexity of Conditional Logics , 1994, KR.
[15] Guido Governatori,et al. A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations , 2000, TABLEAUX.
[16] Brian F. Chellas. Basic conditional logic , 1975, J. Philos. Log..
[17] Dov M. Gabbay,et al. Goal Oriented Deductions , 2002 .
[18] D. Nute. Topics in Conditional Logic , 1980 .
[19] Robert Stalnaker. A Theory of Conditionals , 2019, Knowledge and Conditionals.
[20] Laura Giordano,et al. Belief Revision and the Ramsey Test: A Solution , 2001, AI*IA.
[21] Craig Boutilier,et al. Conditional Logics of Normality: A Modal Approach , 1994, Artif. Intell..
[22] Harrie C. M. de Swart. A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics VC and VCS , 1983, J. Symb. Log..
[23] Laura Giordano,et al. Tableau Calculi for Preference-Based Conditional Logics , 2003, TABLEAUX.
[24] Nicola Olivetti. Tableaux for Łukasiewicz Infinite-valued Logic , 2003, Stud Logica.
[25] James P. Delgrande,et al. A First-Order Conditional Logic for Prototypical Properties , 1987, Artif. Intell..
[26] Camilla Schwind,et al. Causality in Action Theories , 1999, Electron. Trans. Artif. Intell..
[27] Laura Giordano,et al. A Conditional Logic for Iterated Belief Revision , 2000, ECAI.
[28] Dov M. Gabbay,et al. Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication , 1998, Stud Logica.
[29] Dov M. Gabbay,et al. Analytic Sequent Calculi for Abelian and ukasiewicz Logics , 2002, TABLEAUX.
[30] Nicola Olivetti,et al. A Sequent Calculus for Skeptical Default Logic , 1997, TABLEAUX.
[31] Laura Giordano,et al. Negation as Failure in Intuitionistic Logic Programming , 1992, JICSLP.
[32] Andreas Herzig,et al. Conditionals: from philosophy to computer science , 1996 .
[33] Laura Giordano,et al. Iterated Belief Revision and Conditional Logic , 2002, Stud Logica.
[34] Ian P. Gent. A Sequent- or Tableau-style System for Lewis's Counterfactual Logic VC , 1992, Notre Dame J. Formal Log..
[35] J. van Leeuwen,et al. Logic Programming , 2002, Lecture Notes in Computer Science.
[36] Dov M. Gabbay,et al. Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language , 1995, LPNMR.
[37] Dov M. Gabbay,et al. Conditional reasoning in logic programming , 2000, J. Log. Program..
[38] J. Dewey. Studies In Logical Theory , 1904 .
[39] James P. Delgrande,et al. A general approach for determining the validity of commonsense assertions using conditional logics , 1990, Int. J. Intell. Syst..
[40] Joseph Y. Halpern,et al. Belief Revision: A Critique , 1996, J. Log. Lang. Inf..