Pushing the Limits of Clingo’s Incremental Grounding and Solving Capabilities in Practical Applications

Pushing the Limits of Clingo’s Incremental Grounding and Solving Capabilities in Practical Applications

Incremental techniques aim at making it possible to improve the performance of the grounding and solving processes by reusing the results of previous executions. Clingo supports both incremental grounding and incremental solving computations. In order to leverage incremental computations in clingo,...

Full description

Bibliographic Details
Main Authors: Marcello Balduccini, Michael Barborak, David Ferrucci
Format: Article
Language:English
Published: MDPI AG 2023-03-01
Series:Algorithms
Subjects:
answer set programming
multi-shot solving
durative actions
durative fluents
reasoning about actions and change
Online Access:https://www.mdpi.com/1999-4893/16/3/169

Similar Items

Similar Items