A Semantics for Proof Plans with Applications to Interactive Proof Planning.

Julian Richardson

Published in: LPAR (2002)

Keyphrases

proof planning
theorem proving
concept formation
building intelligent
proof search
theorem prover
formal semantics
genetic algorithm
predicate calculus
probabilistic model
scheduling problem
desirable properties
domain knowledge
linear logic
proof procedure
proof theory
meta reasoning
reinforcement learning