In this paper we present KLMLean 1.0, a theorem prover for some logics of default reasoning, namely Preferential logic P and Loop-Cumulative logics introduced by Kraus, Lehmann, and Magidor. KLMLean 1.0 implements some tableaux calculi for these logics recently introduced. It is implemented in SICStus Prolog and also comprises a graphical user interface written in Java
KLMLean 1.0: a Theorem Prover for Logics of Default Reasoning
POZZATO, GIAN LUCA
2005-01-01
Abstract
In this paper we present KLMLean 1.0, a theorem prover for some logics of default reasoning, namely Preferential logic P and Loop-Cumulative logics introduced by Kraus, Lehmann, and Magidor. KLMLean 1.0 implements some tableaux calculi for these logics recently introduced. It is implemented in SICStus Prolog and also comprises a graphical user interface written in Java
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
