197 citations · 197 across the 2 of their papers we have counts for
2 papers
cs.AI2011★ 197 cited
Macro-FF: Improving AI Planning with Automatically Learned Macro-Operators
A. Botea, M. Enzenberger, M. Mueller +1
Despite recent progress in AI planning, many benchmarks remain challenging for current planners. In many domains, the performance of a planner can greatly be improved by discoverin…
cmp-lg1995
Weak subsumption Constraints for Type Diagnosis: An Incremental Algorithm
Martin Mueller, Joachim Niehren
We introduce constraints necessary for type checking a higher-order concurrent constraint language, and solve them with an incremental algorithm. Our constraint system extends rati…