955 search results - page 56 / 191 » Tractable Temporal Reasoning |
TIME
2007
IEEE
14 years 3 months ago
2007
IEEE
Transaction-time temporal databases and query languages provide a solid framework for analyzing properties of queries over data streams. In this paper we focus on issues connected...
TIME
1998
IEEE
14 years 1 months ago
1998
IEEE
Kowalski and Sergot's Event Calculus (EC) is a simAppeared in the Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning -- TIME'98 (R....
DLOG
2011
13 years 17 days ago
2011
We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” within axioms. This feature allows us to express arbitrary DL-safe rule...
TIME
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper describes an annotation guideline for a temporal relation-tagged corpus of Chinese. Our goal is construction of corpora to be used for a corpus-based analysis of tempor...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. A positive temporal template (or a positive temporal constraint language) is a relational structure whose relations can be defined over countable dense linear order witho...