Planning Proof Content for Communicating Induction.
Amanda M. Holland-MinkleyPublished in: INLG (2002)
Keyphrases
- proof planning
- theorem proving
- heuristic search
- multimedia content
- program synthesis
- web content
- theorem prover
- metadata
- multimedia
- blocks world
- planning problems
- communication channels
- concept learning
- proof search
- plan generation
- constructive induction
- mixed initiative
- machine learning
- inductive logic programming
- digital libraries
- search algorithm
- decision making