1614 search results - page 256 / 323 » Planning as Temporal Reasoning |
111
click to vote
GIS
2010
ACM
15 years 14 days ago
2010
ACM
Recently, a wide range of applications like hurricane research, fire management, navigation systems, and transportation, to name only a few, has shown increasing interest in mana...
GIS
2010
ACM
15 years 14 days ago
2010
ACM
We propose a new and powerful tool for the analysis of trajectories, which in particular allows for more temporally aware analyses. Time plays an important role in the analysis of ...
140
click to vote
LICS
2010
IEEE
15 years 11 days ago
2010
IEEE
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, ...
127
click to vote
LPAR
2010
Springer
15 years 11 days ago
2010
Springer
We address the problem of merging qualitative constraint networks (QCNs) representing agents local preferences or beliefs on the relative position of spatial or temporal entities. ...
218
click to vote
Book
"Artificial Intelligence (AI) is a big field, and this is a big book. We have tried to explore the full breadth of the field, which encompasses logic, probability, and continu...