Abstraction for non-ground answer set programs☆
Under a Creative Commons license
open access
Keywords
Abstraction
Answer set programming
Declarative problem solving
Knowledge representation and reasoning
Nonmonotonic formalisms
Explaining unsatisfiability
Counterexample-guided abstraction and refinement
Cited by (0)
- ☆
Some of the results in this article were presented in preliminary form at JELIA 2019 [113] and XAI 2019 [45]. This work has been partially supported by the Austrian Science Fund (FWF) grant W-1255 and by the EU's H2020 research and innovation programme under grant agreements 825619 (AI4EU) and 952026 (HumanE-AI Net).
© 2021 The Author(s). Published by Elsevier B.V.