conftrace_

logic program decomposition

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

answer set program (1) program splitting (1) intensionality statement (1) logic program splitting (1) predicate dependencies (1) stable model (1) answer set programming (1)

Papers

Splitting Answer Set Programs with Respect to Intensionality Statements AAAI 2023