conftrace_

logic program splitting

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Splitting Answer Set Programs with Respect to Intensionality Statements AAAI 2023