7167 search results - page 1140 / 1434 » A Technique for Invariant Generation |
206
click to vote
AAAI
2008
15 years 9 months ago
2008
This paper investigates hindsight optimization as an approach for leveraging the significant advances in deterministic planning for action selection in probabilistic domains. Hind...
194
click to vote
AIIDE
2007
15 years 9 months ago
2007
This paper presents an application of Hierarchical Transition Network (HTN) planning to a squad-based military simulation. The hierarchical planner produces collaborative plans fo...
225
click to vote
AIIDE
2008
15 years 9 months ago
2008
The quality of AI opponents often leaves a lot to be desired, which poses many attractive challenges for AI researchers. In this respect, Turn-based Strategy (TBS) games are of pa...
180
click to vote
AIPS
2008
15 years 9 months ago
2008
Effective scheduling of the James Webb Space Telescope (JWST) requires managing the trade-off between multiple scheduling criteria including minimizing unscheduled time, angular m...
202
Voted
ICIA
2007
15 years 9 months ago
2007
The CALO desktop assistant aims to provide assistance through many AI technologies, including several techniques for learning to perform tasks. Based on our experiences implementi...