1614 search results - page 106 / 323 » Planning as Temporal Reasoning |
154
click to vote
IJCAI
1997
15 years 7 months ago
1997
The New Millennium Remote Agent (NMRA) will be the rst on-board AI system to control an actual spacecraft. The spacecraft domain raises a number of challenges for planning and exe...
159
click to vote
AIPS
2009
15 years 7 months ago
2009
Solving real-world problems using symbolic planning often requires a simplified formulation of the original problem, since certain subproblems cannot be represented at all or only...
182
click to vote
ENTCS
2007
15 years 6 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
164
click to vote
AAI
2010
15 years 1 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
274
click to vote
CONCUR
2011
Springer
14 years 6 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...