conftrace_

program grounding

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

disjunctive logic (1) rule body evaluation (1) grounding bottleneck (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