Towards a temporal reasoning approach dealing with instance-of, part-of and periodicity

Paolo Terenziani, Luca Anselma

Risultato della ricerca: Capitolo in libro/report/atti di convegnoContributo a conferenzapeer review

Abstract

In many application areas, including planning, workflow, guidelines and protocol management, the description of the domain requires the use of part-of relations between events, the modeling of periodic repetitions and the treatment of "standard" temporal constraints between such events. Events in plans, workflows etc. represent "classes", in the sense that they can be instantiated to specific executions of the plan guideline, etc. Of course, such executions must respect (i.e., be consistent with) the temporal constraints explicitly or implicitly (e.g., by the part-of relation) conveyed by the class descriptions. In this paper, we propose a tractable domain-independent temporal server dealing with the above phenomena. We first sketch a representation formalism coping with part-of and instance-of relations, periodicity and temporal constraints, and then we describe two algorithms to deal with inheritance and to perform temporal consistency checking.

Lingua originaleInglese
Titolo della pubblicazione ospiteProceedings - 10th International Symposium on Temporal Representation and Reasoning and 4th International Conference on Temporal Logic, TIME-ICTL 2003
EditorMark Reynolds, Abdul Sattar
EditoreInstitute of Electrical and Electronics Engineers Inc.
Pagine37-46
Numero di pagine10
ISBN (elettronico)0769519121
DOI
Stato di pubblicazionePubblicato - 2003
Evento10th International Symposium on Temporal Representation and Reasoning and 4th International Conference on Temporal Logic, TIME-ICTL 2003 - Cairns, Australia
Durata: 8 lug 200310 lug 2003

Serie di pubblicazioni

NomeProceedings of the International Workshop on Temporal Representation and Reasoning
Volume2003-January

???event.eventtypes.event.conference???

???event.eventtypes.event.conference???10th International Symposium on Temporal Representation and Reasoning and 4th International Conference on Temporal Logic, TIME-ICTL 2003
Paese/TerritorioAustralia
CittàCairns
Periodo8/07/0310/07/03

Fingerprint

Entra nei temi di ricerca di 'Towards a temporal reasoning approach dealing with instance-of, part-of and periodicity'. Insieme formano una fingerprint unica.

Cita questo