conftrace_

program splitting

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

answer set programming (2) answer set program (1) intensionality statement (1) logic program decomposition (1) conflict-driven learning (1) external atom (1) logic program splitting (1) predicate dependencies (1) stable model (1) value invention (1)

Papers

Splitting Answer Set Programs with Respect to Intensionality Statements AAAI 2023 Conflict-driven ASP Solving with External Sources and Program Splits IJCAI 2017