IsaPlanner: A Prototype Proof Planner in Isabelle.

Lucas Dixon Jacques D. Fleuriot

Published in: CADE (2003)

Keyphrases

theorem prover
natural deduction
theorem proving
inference rules
heuristic search
decision making
first order logic
domain independent
cut elimination
data sets
probabilistic planning
classical planning
ai planning
mobile robot
search algorithm
web services
metadata
artificial intelligence