Sciweavers

2178 search results - page 12 / 436
» Inferring complex plans
Sort
View
ECAI
2000
Springer
13 years 12 months ago
Extensions of Constraint Solving for Proof Planning
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
Erica Melis, Jürgen Zimmer, Tobias Mülle...