1614 search results - page 88 / 323 » Planning as Temporal Reasoning |
179
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a distributed application named AERIAL which allows coordination and control of multiple Unmanned Aerial Vehicles (UAVs) engaged in temporally constrained miss...
173
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
166
click to vote
DLOG
2008
15 years 8 months ago
2008
We show that reasoning in the temporal conceptual model ERV T , a fragment of ERV T that only allows timestamping is complete for 2-ExpTime. The membership result is based on an em...
155
click to vote
CCIA
2007
Springer
16 years 15 days ago
2007
Springer
In this paper, we present an action language which is called AP oss in order to perform reasoning about actions under uncertainty. This language is based on a possibilistc logic pr...
153
click to vote
KI
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper discusses experiments with an agent oriented approach to automated and interactive reasoning. The approach combines ideas from two subfields of AI (theorem pr...