A mathematical framework for the semantics of symbolic languages representing periodic time

Lavinia Egidi; Paolo Terenziani

doi:10.1109/time.2004.1314415

A mathematical framework for the semantics of symbolic languages representing periodic time

Lavinia Egidi, Paolo Terenziani

Dipartimento di Scienze e Innovazione Tecnologica

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

Abstract

In several areas, including Temporal DataBases, Presburger Arithmetic has been chosen as a standard reference to express the semantics of languages representing periodic time, and to study their expressiveness. On the other hand, the proposal of most symbolic languages in the AI literature has not been paired with an adequate semantic counterpart, making the task of studying the expressiveness of such languages and of comparing them a very complex one. In this paper, we first define a representation language which enables us to handle each temporal point as a complex object enriched with all the structure it is immersed in, and then we use it in order to provide a Presburger semantics for classes of symbolic languages coping with periodicity.

Lingua originale	Inglese
Pagine	21-27
Numero di pagine	7
DOI	https://doi.org/10.1109/time.2004.1314415
Stato di pubblicazione	Pubblicato - 2004
Evento	Proceedings - 11th International Symposium on Temporal Representation and Reasoning (TIME 2004) - Tatihou, France Durata: 1 lug 2004 → 3 lug 2004

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

???event.eventtypes.event.conference???	Proceedings - 11th International Symposium on Temporal Representation and Reasoning (TIME 2004)
Paese/Territorio	France
Città	Tatihou
Periodo	1/07/04 → 3/07/04

Accesso al documento

10.1109/time.2004.1314415

Altri file e collegamenti

Link to publication in Scopus

Cita questo

@conference{62ce45b26fea4b9196452059fb4372cc,

title = "A mathematical framework for the semantics of symbolic languages representing periodic time",

abstract = "In several areas, including Temporal DataBases, Presburger Arithmetic has been chosen as a standard reference to express the semantics of languages representing periodic time, and to study their expressiveness. On the other hand, the proposal of most symbolic languages in the AI literature has not been paired with an adequate semantic counterpart, making the task of studying the expressiveness of such languages and of comparing them a very complex one. In this paper, we first define a representation language which enables us to handle each temporal point as a complex object enriched with all the structure it is immersed in, and then we use it in order to provide a Presburger semantics for classes of symbolic languages coping with periodicity.",

keywords = "Presburger Arithmetic, Semantics, Symbolic languages, User-defined periodicity",

author = "Lavinia Egidi and Paolo Terenziani",

year = "2004",

doi = "10.1109/time.2004.1314415",

language = "English",

pages = "21--27",

note = "Proceedings - 11th International Symposium on Temporal Representation and Reasoning (TIME 2004) ; Conference date: 01-07-2004 Through 03-07-2004",

}

A mathematical framework for the semantics of symbolic languages representing periodic time. / Egidi, Lavinia ; Terenziani, Paolo.
2004. 21-27 Articolo presentato al Proceedings - 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), Tatihou, France.

Risultato della ricerca: Contributo alla conferenza › Contributo in Atti di Convegno › peer review

TY - CONF

T1 - A mathematical framework for the semantics of symbolic languages representing periodic time

AU - Egidi, Lavinia

AU - Terenziani, Paolo

PY - 2004

Y1 - 2004

N2 - In several areas, including Temporal DataBases, Presburger Arithmetic has been chosen as a standard reference to express the semantics of languages representing periodic time, and to study their expressiveness. On the other hand, the proposal of most symbolic languages in the AI literature has not been paired with an adequate semantic counterpart, making the task of studying the expressiveness of such languages and of comparing them a very complex one. In this paper, we first define a representation language which enables us to handle each temporal point as a complex object enriched with all the structure it is immersed in, and then we use it in order to provide a Presburger semantics for classes of symbolic languages coping with periodicity.

AB - In several areas, including Temporal DataBases, Presburger Arithmetic has been chosen as a standard reference to express the semantics of languages representing periodic time, and to study their expressiveness. On the other hand, the proposal of most symbolic languages in the AI literature has not been paired with an adequate semantic counterpart, making the task of studying the expressiveness of such languages and of comparing them a very complex one. In this paper, we first define a representation language which enables us to handle each temporal point as a complex object enriched with all the structure it is immersed in, and then we use it in order to provide a Presburger semantics for classes of symbolic languages coping with periodicity.

KW - Presburger Arithmetic

KW - Semantics

KW - Symbolic languages

KW - User-defined periodicity

UR - http://www.scopus.com/inward/record.url?scp=5644279090&partnerID=8YFLogxK

U2 - 10.1109/time.2004.1314415

DO - 10.1109/time.2004.1314415

M3 - Paper

SP - 21

EP - 27

T2 - Proceedings - 11th International Symposium on Temporal Representation and Reasoning (TIME 2004)

Y2 - 1 July 2004 through 3 July 2004

ER -

A mathematical framework for the semantics of symbolic languages representing periodic time

Abstract

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

Accesso al documento

Altri file e collegamenti

Fingerprint

Cita questo