An implementation of a free-variable tableaux for KLM preferential logic P of nonmonotonic reasoning: The theorem prover FreeP 1.0

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato

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

Abstract

We present FREEP 1.0, a theorem prover for the KLM preferential logic P of nonmonotonic reasoning. FREEP 1.0 is a SICStus Prolog implementation of a free-variables, labelled tableau calculus for P, obtained by introducing suitable modalities to interpret conditional assertions. The performances of FREEP 1.0 are promising. FREEP 1.0 can be downloaded at http://www.di.unito.it/ ~pozzato/FREEP 1.0.

Lingua originaleInglese
Titolo della pubblicazione ospiteAI IA 2007
Sottotitolo della pubblicazione ospiteArtificial Intelligence and Human-Oriented Computing - 10th Congress of the Italian Association for Artificial Intelligence, Proceedings
EditoreSpringer Verlag
Pagine84-96
Numero di pagine13
ISBN (stampa)9783540747819
DOI
Stato di pubblicazionePubblicato - 2007
Evento10th Congress of the Italian Association for Artificial Intelligence, AI IA 2007 - Rome, Italy
Durata: 10 set 200713 set 2007

Serie di pubblicazioni

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

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

???event.eventtypes.event.conference???10th Congress of the Italian Association for Artificial Intelligence, AI IA 2007
Paese/TerritorioItaly
CittàRome
Periodo10/09/0713/09/07

Fingerprint

Entra nei temi di ricerca di 'An implementation of a free-variable tableaux for KLM preferential logic P of nonmonotonic reasoning: The theorem prover FreeP 1.0'. Insieme formano una fingerprint unica.

Cita questo