Login / Signup
"Handbook of Practical Logic and Automated Reasoning, " by John R. Harrison, Cambridge University Press, 2009.
Freek Wiedijk
Published 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