An overview of automated reasoning.

Stephen D. Post Andrew P. Sage

Published in: IEEE Trans. Syst. Man Cybern. (1990)

Keyphrases

automated reasoning
theorem proving
reasoning systems
knowledge representation
probabilistic reasoning
decision procedures
theorem prover
reasoning tasks
automated verification
knowledge representation and reasoning
propositional satisfiability
pairwise