conftrace_

rule body evaluation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

disjunctive logic (1) grounding bottleneck (1) program grounding (1) disjunctive program (1) logic programming (1) answer set programming (1) automated reasoning (1)

Papers

Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck IJCAI 2022