conftrace_

lazy grounding

3 papers

Explore in graph

Co-occurring keywords

answer set programming (97) external source (1) nonmonotonic logic (2) value invention (2) conflict-driven clause learning (13) rule-based system (81) answer-set programming (7) grounding bottleneck (4) lazy normalization (1) aggregate normalization (1)

Papers

Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming AAAI 2019
Exploiting Justifications for Lazy Grounding of Answer Set Programs IJCAI 2018
Lazy-Grounding for Answer Set Programs with External Source Access IJCAI 2017