Conditional logics have a long history, and recently they have found several applications in artificial intelligence, such as deductive databases, nonmonotonic reasoning, belief revision. NESCOND is a theorem prover implementing nested sequent calculi for these logics. It is written in SWI Prolog and can be used by means of a web interface.
NESCOND
POZZATO, GIAN LUCA
2014-01-01
Abstract
Conditional logics have a long history, and recently they have found several applications in artificial intelligence, such as deductive databases, nonmonotonic reasoning, belief revision. NESCOND is a theorem prover implementing nested sequent calculi for these logics. It is written in SWI Prolog and can be used by means of a web interface.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.