8 search results - page 1 / 2 » Calendar Logic |
TIME
2002
IEEE
15 years 3 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...
APPINF
2003
14 years 11 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
SERP
2003
14 years 11 months ago
2003
The SyncML, the standard synchronization protocol, supports the synchronization of various application services such as an address book, a calendar. Even with this standard protoc...
TCS
2008
14 years 10 months ago
2008
We introduce an LTL-like logic with atomic formulae built over a constraint language interpreting variables in Z. The constraint language includes periodicity constraints, comparis...