Repository logo
  • Log In
    Log in via Symplectic to deposit your publication(s).
Repository logo
  • Communities & Collections
  • Research Outputs
  • Statistics
  • Log In
    Log in via Symplectic to deposit your publication(s).
  1. Home
  2. Faculty of Engineering
  3. Computing
  4. Computing
  5. A declarative framework for temporal reasoning in green-aware applications
 
  • Details
A declarative framework for temporal reasoning in green-aware applications
File(s)
DeGiacomo.pdf (2.31 MB)
Published version
Author(s)
De Giacomo, G
Fionda, V
Gigante, N
Ielo, A
Ricca, F
more
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
URI
https://hdl.handle.net/10044/1/121181
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
https://creativecommons.org/licenses/by/4.0/
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
About
Spiral Depositing with Spiral Publishing with Spiral Symplectic
Contact us
Open access team Report an issue
Other Services
Scholarly Communications Library Services
logo

Imperial College London

South Kensington Campus

London SW7 2AZ, UK

tel: +44 (0)20 7589 5111

Accessibility Modern slavery statement Cookie Policy

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback