Publications

• Viktor Besin, Markus Hecher, Stefan Woltran. Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck. In Lud De Raedt, editor, International Joint Conference on Artificial Intelligence (IJCAI-22), pages 2546-2552. International Joint Conferences on Artificial Intelligence Organization, 2022, Link: BDG-IJCAI22

• Other work under consideration

Theses

• Alexander Beiser. Body-decoupled Grounding for Answer Set Programming extended with Aggregates. Bachelor thesis, Vienna University of Technology, 2023.

• Viktor Besin. A novel method for grounding in answer-set programming. Diploma thesis, Vienna University of Technology, 2023.

• Kaan Unalan. Body-decoupled grounding in normal answer set programs. Bachelor thesis, Vienna University of Technology, 2022.