Analytic tableaux calculi for KLM logics of nonmonotonic reasoning - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log., 10(3), 2009. [doi]

The following publications are possibly variants of this publication:

KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic ReasoningLaura Giordano, Valentina Gliozzi, Gian Luca Pozzato. tableaux 2007: 238-244 [doi]

Analytic Sequent Calculi for Abelian and ukasiewicz LogicsGeorge Metcalfe, Nicola Olivetti, Dov M. Gabbay. tableaux 2002: 191-205 [doi]

VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual ReasoningMarianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis. tableaux 2017: 149-159 [doi]

An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. aiia 2007: 84-96 [doi]

Analytic Tableaux for KLM Preferential and Cumulative LogicsLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. lpar 2005: 666-681 [doi]

Analytic Tableau Calculi for KLM Rational Logic RLaura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato. jelia 2006: 190-202 [doi]

runs on WebDSL