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

DOI10.1007/S10472-006-9021-6zbMath1113.68063OpenAlexW1971596934MaRDI QIDQ862832

Lavinia Egidi, Paolo Terenziani

Publication date: 24 January 2007

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-006-9021-6

zbMATH Keywords

semanticslanguagesPresburger arithmeticuser-defined periodicity

Mathematics Subject Classification ID

Knowledge representation (68T30) Semantics in the theory of computing (68Q55)

Related Items (1)

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

Cites Work

• Temporal logic programming
• A mathematical framework for the semantics of symbolic languages representing periodic time
• The complexity of logical theories
• Symbolic representation of user-defined time granularities
• An algebraic representation of calendars
• Solving multi-granularity temporal constraint networks
• Handling infinite temporal data
• Temporal logic can be more expressive
• Representing and Reasoning about Temporal Granularities
• Artificial Intelligence: Methodology, Systems, and Applications
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A mathematical framework for the semantics of symbolic languages representing periodic time