{"type":"ScholarlyArticle","title":"On Temporal ASP with Eager Unfoldable Operators","authors":[{"name":"Thomas Eiter","slug":"thomas-eiter","given":"Thomas","family":"Eiter","affiliation":""},{"name":"Davide Soldà","slug":"davide-solda","given":"Davide","family":"Soldà","affiliation":""}],"abstract":"Temporal Equilibrium Logic (TEL) extends Answer Set Programming (ASP) with linear-time temporal operators (LTL), enabling reasoning about dynamic systems. However, TEL enforces strong minimization criteria that may preclude intuitive models. Liveness formulas, for instance, tend to fail to have infinite equilibrium models, as TEL minimization postpones satisfaction forever. We address this limitation by introducing eager temporal operators (eager Until, eager Release, etc.), and present non-disjunctive temporal programs (NDTP) as a framework for modeling dependencies, inertia, and non-determinism. The fragment of tight temporal programs (TTP), which can be recognized efficiently based on automata techniques for loop detections, guarantees polynomial encodability into LTL. Practical examples, such as request-grant protocols and user permissions in distributed systems, illustrate the applicability of our approach.","doi":"10.24963/ijcai.2025/498","url":"https://ijcai.org/proceedings/2025/498","pdf":"https://ijcai.org/proceedings/2025/0498.pdf","markdown":"https://ijcai.org/proceedings/2025/498.md","bibtex":"https://ijcai.org/proceedings/2025/bibtex/498","volume":{"slug":"2025","title":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2025","url":"https://ijcai.org/proceedings/2025/","year":2025,"location":"Montreal, Canada","dates":"16-22 August 2025","editors":"James Kwok","isbn":"978-1-956792-06-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2025"},"section":"Knowledge Representation and Reasoning","track":"Main Track","number":498,"pages":{"first":4473,"last":4481},"keywords":["Knowledge Representation and Reasoning: KRR: Knowledge representation languages","Knowledge Representation and Reasoning: KRR: Logic programming","Knowledge Representation and Reasoning: KRR: Non-monotonic reasoning"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}