Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning.

Konstantin Korovin

Published in: Programming Logics (2013)

Keyphrases

automated reasoning
theorem proving
reasoning systems
knowledge representation
probabilistic reasoning
decision procedures
theorem prover
reasoning tasks
automated verification
knowledge representation and reasoning
propositional satisfiability
logic programs
prime implicants