conftrace_

disjunctive program

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

answer set programming (3) logic program (1) program grounding (1) disjunctive logic (1) rule body evaluation (1) grounding bottleneck (1) constraint monotonicity (1) world view semantics (1) epistemic specification (1) logic programming (1)

Papers

On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? AAAI 2024 Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck IJCAI 2022 Considering Constraint Monotonicity and Foundedness in Answer Set Programming IJCAI 2022