Interpolation Systems for Ground Proofs in Automated Deduction: a Survey.

Maria Paola Bonacina Moa Johansson

Published in: J. Autom. Reason. (2015)

Keyphrases

automated deduction
theorem proving
theorem prover
complex systems
information retrieval
e learning
expert systems
active learning
management system
distributed systems
knowledge based systems
model checking
definite clause