Data di Pubblicazione:
2020
Abstract:
We present tuCLEVER, a theorem prover for the strongest conditional logics of counterfactual reasoning introduced by Lewis in the seventies. tuCLEVER implements some hypersequent calculi recently introduced for the system VTU and its main extensions. tuCLEVER is inspired by the methodology of leanTAP and it is implemented in Prolog. Preliminary experimental results show that the performances of tuCLEVER are promising.
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
Girlando M.; Lellmann B.; Olivetti N.; Pesce S.; Pozzato G.L.
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
CEUR Workshop Proceedings
Pubblicato in: