263 search results - page 1 / 53 » Using Temporal Logic for Spatial Reasoning: Temporalized Pro... |
EUROCAST
2007
Springer
13 years 6 months ago
2007
Springer
ECAI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...
AMAI
2007
Springer
13 years 4 months ago
2007
Springer
It is widely accepted that spatial reasoning plays a central role in artificial intelligence, for it has a wide variety of potential applications, e.g., in robotics, geographical...
LFCS
2007
Springer
13 years 11 months ago
2007
Springer
Interval-based temporal logics are an important research area in computer science and artificial intelligence. In this paper we investigate decidability and expressiveness issues ...
TIME
2005
IEEE
13 years 10 months ago
2005
IEEE