Proving and Computing: Applying Automated Reasoning to the Verification of Symbolic Computation Systems (Invited Talk).

José-Luis Ruiz-Reina

Published in: AISC (2014)

Keyphrases

automated reasoning
automated verification
invited talk
reasoning systems
knowledge representation
theorem prover
reasoning tasks
theorem proving
probabilistic reasoning
expert systems
distributed systems
first order logic