111 search results - page 6 / 23 » A Temporal Planning System for Time-Optimal Planning |
97
Voted
IEAAIE
2010
Springer
14 years 11 months ago
2010
Springer
This paper presents a time bounded real-time agent, the core of a Multi-agent System aimed at managing the security in manufacturing environments, where time constraints are a key ...
114
click to vote
AIPS
2008
15 years 4 months ago
2008
Autonomous systems operating in real-world environments must plan, schedule, and execute missions while robustly adapting to uncertainty and disturbance. One way to mitigate the e...
99
Voted
HAIS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Accurate and swift responses are crucial to Intrusion Detection Systems (IDSs), especially if automatic abortion mechanisms are running. In keeping with this idea, this w...
129
Voted
CADE
2005
Springer
16 years 2 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
145
click to vote
IJCAI
2001
15 years 3 months ago
2001
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...