Proof Methods and Theorem Proving for Conditional Logics with Strong Centering
Contributo in Atti di convegno
Data di Pubblicazione:
2023
Abstract:
In this work we continue our investigation on proof methods and theorem proving for Conditional Logics with the selection function semantics. Conditional Logics recently have received a renewed attention and have found several applications in knowledge representation and artificial intelligence. We present a labelled sequent calculus for systems including the axiom of strong centering CS, as well as a theorem prover implementing the sequent calculus in Prolog.
Tipologia CRIS:
04A-Conference paper in volume
Keywords:
Conditional logics; Nonmonotonic reasoning; Prolog; Proof methods; Sequent calculi; Theorem proving
Elenco autori:
Gliozzi V.; Pozzato G.L.; Valese A.
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
CEUR Workshop Proceedings
Pubblicato in: