conftrace_

answer set program

2 papers

Explore in graph

Also known as

ASP

Co-occurring keywords · papers mentioning both

answer set programming (2) program splitting (1) intensionality statement (1) logic program decomposition (1) logic program splitting (1) predicate dependencies (1) rule-set explanation (1) neuro-symbolic model (1) stable model (1) neuro-symbolic learning (1)

Papers

NeSyFOLD: A Framework for Interpretable Image Classification AAAI 2024 Splitting Answer Set Programs with Respect to Intensionality Statements AAAI 2023