1466 search results - page 7 / 294 » Complexity of Reasoning over Temporal Data Models |
CADE
2005
Springer
15 years 10 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
KDD
2009
ACM
15 years 2 months ago
2009
ACM
Learning temporal graph structures from time series data reveals important dependency relationships between current observations and histories. Most previous work focuses on learn...
FQAS
2006
Springer
15 years 1 months ago
2006
Springer
Time plays an important role in our everyday's life. For a lot of observations we make and actions we perform, temporal information is relevant. The importance of time is refl...
111
click to vote
WLP
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We present a framework for a declarative approach to spatiotemporal reasoning on geographical data, based on the constraint logical language STACLP, which offers deducti...
TIME
2002
IEEE
15 years 2 months ago
2002
IEEE
We show the expressiveness provided by a Labelled point-based metric model for specifying and reasoning about complex disjunctive temporal constraints. The model allows us to mana...