Searched for: author:"Spaan, M.T.J."
(1 - 2 of 2)
document
Elffers, J. (author), Konijnenberg, D. (author), Walraven, E.M.P. (author), Spaan, M.T.J. (author)
Several approaches exist to solve Artificial Intelligence planning problems, but little attention has been given to the combination of using landmark knowledge and satisfiability (SAT). Landmark knowledge has been exploited successfully in the heuristics of classical planning. Recently it was also shown that landmark knowledge can improve the...
conference paper 2013
document
Elffers, J. (author), Konijnenberg, D. (author), Walraven, E. (author), Spaan, M.T.J. (author)
Several approaches exist to solve Artificial Intelligence planning problems, but little attention has been given to the combination of using landmark knowledge and satisfiability (SAT). Landmark knowledge has been exploited successfully in the heuristics of classical planning. Recently it was also shown that landmark knowledge can improve the...
conference paper 2013