We present KLMLean 2.0, a theorem prover for propositional KLM logics of nonmonotonic reasoning. KLMLean 2.0 implements some analytic tableaux calculi for these logics recently introduced. KLMLean 2.0 is inspired by the “lean” methodology, it is implemented in SICStus Prolog and it also contains a graphical interface written in Java.
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
GLIOZZI, Valentina;POZZATO, GIAN LUCA
2007-01-01
Abstract
We present KLMLean 2.0, a theorem prover for propositional KLM logics of nonmonotonic reasoning. KLMLean 2.0 implements some analytic tableaux calculi for these logics recently introduced. KLMLean 2.0 is inspired by the “lean” methodology, it is implemented in SICStus Prolog and it also contains a graphical interface written in Java.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
TABLEAUX 2007.pdf
Accesso riservato
Tipo di file:
POSTPRINT (VERSIONE FINALE DELL’AUTORE)
Dimensione
578.03 kB
Formato
Adobe PDF
|
578.03 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
