Proof Methods and Theorem Proving for Conditional Logics with Strong Centering.

Valentina Gliozzi Gian Luca Pozzato Alberto Valese

Published in: CILC (2023)

Keyphrases

theorem proving
theorem prover
decision procedures
automated reasoning
geometry theorem proving
first order logic
belief propagation
combinatorial search
proof procedure
logical inference