Article
DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework
Proceedings of the 17th European Conference on Logics in Artificial Intelligence (JELIA), Austria
(2021)
Abstract
Answer set programming (ASP) is a declarative programming paradigm that is geared towards difficult combinatorial search problems. Sometimes, run times of ASP systems suffer due to so called grounding bottleneck. Lazy grounding solvers aim to mitigate this issue. In this paper we describe a new lazy grounding solver called DualGrounder. The DualGrounder system leverages multi-shot capabilities of the advanced ASP platform Clingo. This paper also includes experimental data to explore the performance of DualGrounder compared to similar ASP grounding and solving systems.
Disciplines
Publication Date
2021
Citation Information
Justin Robbins and Yuliya Lierler. "DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework" Proceedings of the 17th European Conference on Logics in Artificial Intelligence (JELIA), Austria (2021) Available at: http://works.bepress.com/yuliya_lierler/104/