Impasse-Driven Reasoning in Proof Planning.

Andreas Meier Erica Melis

Published in: MKM (2005)

Keyphrases

proof planning
concept formation
theorem proving
building intelligent
theorem prover
automated reasoning
proof procedure
proof search
domain knowledge
machine learning
knowledge base
intelligent systems
decision procedures
artificial intelligence
inference rules