A declarative framework for temporal reasoning in green-aware applications
File(s)DeGiacomo.pdf (2.31 MB)
Published version
Author(s)
Type
Conference Paper
Abstract
This paper presents a novel framework that integrates Linear Temporal Logic over Finite Traces (LTL<inf>f</inf>) with the expressive capabilities of Answer Set Programming (ASP). Combining these two powerful formalisms enables efficient reasoning in complex, temporally dynamic, and knowledge-rich environments, making it well-suited for green-aware applications that demand sustainable resource management and reduced environmental impact. The proposed framework supports the querying of evolving ASP knowledge bases, allowing both brave and cautious inferences aligned with temporal constraints. We detail the foundational principles of the framework and explore its potential applications in environmentally conscious scenarios.
Date Issued
2025-03-02
Date Acceptance
2024-11-01
Citation
Ceur Workshop Proceedings, 2025, 3934, pp.40-49
ISSN
1613-0073
Publisher
https://ceur-ws.org/Vol-3934/
Start Page
40
End Page
49
Journal / Book Title
Ceur Workshop Proceedings
Volume
3934
Copyright Statement
© 2024 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
License URL
Source
23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024)
Publication Status
Published
Start Date
2024-11-27
Finish Date
2024-11-28
Coverage Spatial
Bolzano, Italy