@inproceedings{d69b4ae0d5cd4e5ab17d47835cb18b7c,
title = "An implementation of a free-variable tableaux for KLM preferential logic P of nonmonotonic reasoning: The theorem prover FreeP 1.0",
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.",
author = "Laura Giordano and Valentina Gliozzi and Nicola Olivetti and Pozzato, {Gian Luca}",
year = "2007",
doi = "10.1007/978-3-540-74782-6_9",
language = "English",
isbn = "9783540747819",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "84--96",
booktitle = "AI IA 2007",
address = "Germany",
note = "10th Congress of the Italian Association for Artificial Intelligence, AI IA 2007 ; Conference date: 10-09-2007 Through 13-09-2007",
}