Login / Signup
Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
Markus Hecher
Rafael Kiesel
Published in:
CoRR (2024)
Keyphrases
</>
answer set programming
logic programming
logic programs
answer sets
reasoning tasks
causal theories
knowledge representation
answer set programs
haplotype inference
knowledge base
search algorithm
computational complexity
data model