On Interpolation in Decision Procedures.

Maria Paola Bonacina Moa Johansson

Published in: TABLEAUX (2011)

Keyphrases

decision procedures
theorem proving
modal logic
automated reasoning
reasoning problems
satisfiability problem
query containment
first order logic
theorem prover
machine learning
knowledge base
expert systems
special case