A mathematical framework for the semantics of symbolic languages representing periodic time
From MaRDI portal
Publication:862832
DOI10.1007/s10472-006-9021-6zbMath1113.68063MaRDI 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
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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