Automated Reasoning and Bledsoe's Dream for the Field.

Published in: Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)

Keyphrases

automated reasoning
reasoning systems
knowledge representation
theorem prover
theorem proving
reasoning tasks
probabilistic reasoning
decision procedures
automated verification
knowledge representation and reasoning
data mining
bayesian networks
search space
propositional satisfiability