5216 search results - page 654 / 1044 » Planning as Model Checking |
172
click to vote
FLAIRS
2010
15 years 9 months ago
2010
Dynamic changes in complex, real-time environments, such as modern video games, can violate an agent's expectations. We describe a system that responds competently to such vi...
149
click to vote
WSC
2008
15 years 9 months ago
2008
As part of the DARPA Deep Green efforts, SAIC developed a multi-threaded and resolution approach to constructing and evaluating simulated futures to address the SimPath component....
163
Voted
ECIS
2000
15 years 8 months ago
2000
- In this paper we consider the synergy between two areas of IS literature: that concerned with the evaluation of information systems and that concerned with explaining the phenome...
170
click to vote
WSC
1997
15 years 8 months ago
1997
This paper highlights a project performed by TASC for Armstrong Laboratories, Wright-Patterson AFB. This project describes a simulation tool to help wing-level planners at an Air ...
199
Voted
ACL
1992
15 years 8 months ago
1992
I In this paper we present algorithms for the interpretation and generation of a kind of particularized conversational implicature occurring in certain indirect replies. Our algori...