Extensions of Constraint Solving for Proof Planning.
Erica MelisJürgen ZimmerTobias MüllerPublished in: ECAI (2000)
Keyphrases
- constraint solving
- proof planning
- concept formation
- theorem proving
- constraint propagation
- constraint logic programming
- building intelligent
- constraint satisfaction problems
- constraint satisfaction
- constraint solver
- constraint programming
- proof search
- theorem prover
- machine learning
- video sequences
- heuristic search
- temporal reasoning
- search space