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

DOI10.1007/S10472-006-9021-6zbMATH Open1113.68063OpenAlexW1971596934MaRDI QIDQ862832FDOQ862832

Authors: 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

Recommendations

• Artificial Intelligence: Methodology, Systems, and Applications
• An intensional approach to qualitative and quantitative periodicity-dependent temporal constraints
• Symbolic representation of user-defined time granularities
• Publication:4508946
• Management of periodic phenomena with exceptions

zbMATH Keywords

semanticsPresburger arithmeticlanguagesuser-defined periodicity

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

• A mathematical framework for the semantics of symbolic languages representing periodic time
• Towards Algebraic Semantics of Circus Time

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q862832)