Rafael Kiesel

2 papers · 2021–2024 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🐝 Cross-Pollinator (13) ❓ The Questioner

Conferences

AAAI (2)

Top co-authors

Markus Hecher (1) Thomas Eiter (1)

Keywords

probabilistic inference (1) knowledge representation (1) constraint satisfaction (1) feedback vertex set (1) vertex cover (1) answer set programming (1) parameterized complexity (1) complexity theory (1) disjunctive program (1)

Papers

On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? AAAI 2024

On the Complexity of Sum-of-Products Problems over Semirings AAAI 2021