"Handbook of Practical Logic and Automated Reasoning, " by John R. Harrison, Cambridge University Press, 2009.
Freek WiedijkPublished in: J. Autom. Reason. (2012)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- probabilistic reasoning
- theorem proving
- theorem prover
- decision procedures
- logical implication
- reasoning tasks
- automated verification
- carnegie mellon university
- proof theory
- propositional satisfiability
- knowledge representation and reasoning
- probabilistic logic
- constraint satisfaction
- logic programming
- general purpose
- probability distribution
- special case
- bayesian networks
- neural network