498 search results - page 5 / 100 » A Logical Temporal Relational Data Model |
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Agents interacting in open environments such as Internet are often in charge of personal information. In order to protect the privacy of human users, such agents have to ...
CAISE
2006
Springer
14 years 11 months ago
2006
Springer
FOSSACS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
We present an axiomatisation for an extension of a temporal epistemic logic with an epistemic “reset” operator defined on the intersection between epistemic and temporal rela...
TIME
2007
IEEE
15 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...