Rejection in Abstract Argumentation: Harder Than Acceptance?European Conference on Artificial Intelligence (ECAI), 2024 |
Characterizing Structural Hardness of Logic Programs: What makes Cycles
and Reachability Hard for Treewidth?AAAI Conference on Artificial Intelligence (AAAI), 2023 |
Treewidth-aware Reductions of Normal ASP to SAT -- Is Normal ASP Harder
than SAT after All?Artificial Intelligence (AI), 2021 |
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic
ProgramsTheory and Practice of Logic Programming (TPLP), 2021 |