Constraint Solving for Proof Planning.
Jürgen ZimmerErica MelisPublished in: J. Autom. Reason. (2004)
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
- constraint solvers
- machine learning
- evolutionary algorithm
- bayesian networks
- inference rules
- search space