conftrace_

predicate dependencies

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logic program splitting (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