2 search results - page 1 / 1 » aiia 2011 |
AIIA
2011
Springer
12 years 10 months ago
2011
Springer
Abstract. In this work we present an assessment of state-of-the-art Boolean optimization solvers from different AI communities on over-subscription planning problems. The goal of t...
AIIA
2011
Springer
12 years 10 months ago
2011
Springer
Abstract. The aim of the work is to develop formal models of interaction and of the related support infrastructures, that overcome the limits of the current approaches. We propose ...