Planning Proofs of Equations in CCS.

Raúl Monroy Alan Bundy Ian Green

Published in: Autom. Softw. Eng. (2000)

Keyphrases

heuristic search
planning problems
decision support
theorem prover
mathematical model
theorem proving
artificial intelligence
knowledge base
multimedia
search algorithm
decision theoretic
numerical methods
linear equations
mixed initiative
stochastic domains