955 search results - page 66 / 191 » Tractable Temporal Reasoning |
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— In this paper, multiple on-board sensors are used to assess the terrain safety in real-time during spacecraft descent. A linguistic, fuzzy rule-based reasoning engine is used t...
AI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...
AAAI
2010
13 years 10 months ago
2010
We describe a generic framework for representing and reasoning with annotated Semantic Web data, formalise the annotated language, the corresponding deductive system, and address ...
CLIMA
2007
13 years 10 months ago
2007
We propose a new version of ATLP (“ATL with plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different ...
AAAI
1990
13 years 10 months ago
1990
There are many planning applications that require an agent to coordinate its activities with processes that change continuously over time. Several proposals have been made for com...