9 search results - page 1 / 2 » Temporal Reasoning with Qualitative and Quantitative Informa... |
AAAI
1998
13 years 6 months ago
1998
AIIA
1995
Springer
13 years 8 months ago
1995
Springer
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
CI
1998
13 years 4 months ago
1998
This paper presents a point based spatio-temporal rst order logic for representing the qualitative and quantitative spatial temporal knowledge needed to reason about motion in a t...
IAT
2008
IEEE
13 years 11 months ago
2008
IEEE
Many real–world information needs are naturally formulated as queries with temporal constraints. However, the structured temporal background information needed to support such c...
ECP
1997
Springer
13 years 9 months ago
1997
Springer
This paper concerns the problem of resource reasoning in planning. It defines formally a constraint satisfaction problem, the Time and Resource Problem (T RP), in which resource r...