The scope and limits of simulation in automated reasoning.

Ernest Davis Gary Marcus

Published in: Artif. Intell. (2016)

Keyphrases

automated reasoning
reasoning systems
knowledge representation
theorem prover
probabilistic reasoning
theorem proving
decision procedures
reasoning tasks
automated verification
knowledge representation and reasoning
simulation model