Adam, S., & Eiter, T. (2025, November). Incremental Lazy Grounding (Work in Progress) [Conference Presentation]. 8th Workshop on Trends and Applications of Answer Set Programming (TAASP 2025), Wien, Austria. http://hdl.handle.net/20.500.12708/230928
E192-03 - Forschungsbereich Knowledge Based Systems E056-13 - Fachbereich LogiCS E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems
-
Date (published):
Nov-2025
-
Event name:
8th Workshop on Trends and Applications of Answer Set Programming (TAASP 2025)
en
Event date:
24-Nov-2025 - 25-Nov-2025
-
Event place:
Wien, Austria
-
Keywords:
answer set solver Alpha; Python prototype
en
Abstract:
We introduce an incremental extension of the lazy grounding answer set solver Alpha. Unlike traditional systems such as iclingo and I-DLV, which combine incremental solving with full grounding, our ap- proach retains the advantages of lazy grounding (viz., reduced grounding effort) and enables multi-shot solving for problems where the ground- and-solve approach is infeasible. A Python prototype shows reduced grounding times and hence faster solving on dynamic 3-coloring bench- marks. This establishes the first step toward integrating incremental solv- ing into lazy grounding, addressing scalability in evolving domains.
en
Project title:
Logics for Computer Science Program at TU Wien: 101034440 (European Commission) Training and Guiding AI Agents with Ethical Rules: ICT22-023 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds)