KLMLean 2.0: A theorem prover for KLM logics of nonmonotonic reasoning

Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

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 Java1.

Lingua originaleInglese
Titolo della pubblicazione ospiteAutomated Reasoning with Analytic Tableaux and Related Methods - 16th International Conference, TABLEAUX 2007, Proceedings
EditoreSpringer Verlag
Pagine238-244
Numero di pagine7
ISBN (stampa)9783540730989
DOI
Stato di pubblicazionePubblicato - 2007
Evento16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007 - Aix en Provence, France
Durata: 3 lug 20076 lug 2007

Serie di pubblicazioni

NomeLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4548 LNAI
ISSN (stampa)0302-9743
ISSN (elettronico)1611-3349

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007
Paese/TerritorioFrance
CittàAix en Provence
Periodo3/07/076/07/07

Fingerprint

Entra nei temi di ricerca di 'KLMLean 2.0: A theorem prover for KLM logics of nonmonotonic reasoning'. Insieme formano una fingerprint unica.

Cita questo