Analytic Tableaux for KLM Preferential and Cumulative Logics

DOI10.1007/11591191_46MaRDI QIDQ5387873zbMATH OpenOpenAlexWikidataFDO

Authors N. Olivetti, Laura Giordano, V. Gliozzi, G. L. Pozzato

Publication date 27 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11591191_46

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• Analytic Tableau Calculi for KLM Rational Logic R
• Tableau calculi for preference-based conditional logics
• Analytic tableaux for default logics
• Tableau calculus for preference-based conditional logics, PCL and its extensions

Cited in

(11)

• Typicalities and probabilities of exceptions in nonmotonic description logics
• Analytic tableaux calculi for KLM logics of nonmonotonic reasoning
• Tableau calculus for preference-based conditional logics, PCL and its extensions
• Optimal tableaux for conditional logics with cautious monotonicity
• Analytic Tableau Calculi for KLM Rational Logic R
• Analytic tableaux for default logics
• Tableau calculi for preference-based conditional logics
• Mechanising Gödel-Löb provability logic in HOL light
• A tableaux-based theorem prover for a decidable subset of default logic
• Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics
• Semantics for dual preferential entailment

This page was built for publication: Analytic Tableaux for KLM Preferential and Cumulative Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5387873)