728 search results - page 1 / 146 » A Logical Approach to Represent and Reason about Calendars |
TIME
2002
IEEE
13 years 9 months ago
2002
IEEE
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...
COMPSAC
2010
IEEE
13 years 2 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
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...
AAAI
1994
13 years 6 months ago
1994
In this paper we argue that for realistic applications involving default reasoning it is necessary to reason about the priorities of defaults. Existing approaches require the know...
DAGSTUHL
1996
13 years 6 months ago
1996