Automated Reasoning in the Simulation of Evolvable Systems.

Djihed Afifi David E. Rydeheard Howard Barringer

Published in: PAAR@IJCAR (2010)

Keyphrases

automated reasoning
reasoning systems
automated verification
theorem proving
theorem prover
knowledge representation
high level
probabilistic reasoning
simulation model
distributed systems
first order logic
belief propagation
decision procedures
propositional satisfiability