Automated Reasoning in the Wild.

Ulrich Furbach Björn Pelzer Claudia Schon

Published in: CADE (2015)

Keyphrases

automated reasoning
knowledge representation
reasoning systems
theorem prover
theorem proving
decision procedures
reasoning tasks
probabilistic reasoning
automated verification
knowledge representation and reasoning
propositional satisfiability
logical implication
data mining
special case
prime implicants