Automated Reasoning with Uncertainties.

Flávio S. Corrêa da Silva David Stuart Robertson Jane Hesketh

Published in: Logic at Work (1992)

Keyphrases

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