From Cut-free Calculi to Automated Deduction: The Case of Bounded Contraction.

Agata Ciabattoni Björn Lellmann Carlos Olarte Elaine Pimentel

Published in: LSFA (2016)

Keyphrases

automated deduction
theorem proving
theorem prover
general purpose
logic programming
data sets
deductive databases
artificial intelligence
information systems
software engineering
case base
belief change