395 search results - page 11 / 79 » Predicate Abstraction with Minimum Predicates |
93
Voted
DT
2007
15 years 2 months ago
2007
88
Voted
CORR
2009
Springer
15 years 17 days ago
2009
Springer
111
Voted
FAC
2010
15 years 4 days ago
2010
98
Voted
PLDI
2011
ACM
14 years 5 months ago
2011
ACM
AAAI
1990
15 years 3 months ago
1990
PABLO' is a nonlinear planner that reasons hially by generating abstract predicates. PABLO's abstract search spaces are generated automatically using predicate relaxatio...