conftrace_

lazy grounding

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

answer set programming (3) external source (1) value invention (1) conflict-driven clause learning (1) rule-based system (1) grounding bottleneck (1) non-monotonic logic (1) lazy normalization (1) aggregate normalization (1) aggregate handling (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