Instantiation-Based Automated Reasoning: From Theory to Practice.

Konstantin Korovin

Published in: CADE (2009)

Keyphrases

automated reasoning
knowledge representation
proof theory
reasoning systems
decision procedures
probabilistic reasoning
theorem proving
theorem prover
reasoning tasks
knowledge representation and reasoning
automated verification
learning algorithm
pairwise
search space