Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning

Contributo in Atti di convegno
Data di Pubblicazione:
2007
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.
Tipologia CRIS:
04B-Conference paper in rivista
Keywords:
Theorem Proving; Nonmonotonic Reasoning; Tableaux Calculi
Elenco autori:
L. GIORDANO; V. GLIOZZI; G. POZZATO
Autori di Ateneo:
GLIOZZI Valentina
POZZATO Gian Luca
Link alla scheda completa:
https://iris.unito.it/handle/2318/28987
Pubblicato in:
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Journal
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Series
  • Dati Generali

Dati Generali

URL

http://link.springer.com/chapter/10.1007/978-3-540-73099-6_19?LI=true
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0