16091 search results - page 2904 / 3219 » Solving |
201
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
This paper describes an integrated system for coordinating multiple rover behavior with the overall goal of collecting planetary surface data. The MISUS system combines techniques...
214
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
174
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...
186
click to vote
BIRTHDAY
2005
Springer
16 years 10 days ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
172
click to vote
CEEMAS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...