conftrace_

value invention

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

answer set programming (2) lazy grounding (1) external source (1) non-monotonic logic (1) program splitting (1) conflict-driven learning (1) external atom (1)

Papers

Conflict-driven ASP Solving with External Sources and Program Splits IJCAI 2017 Lazy-Grounding for Answer Set Programs with External Source Access IJCAI 2017