Besin, Viktor

2 publications

IJCAI 2022 Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck Viktor Besin, Markus Hecher, Stefan Woltran

IJCAI 2022 Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract) Viktor Besin, Markus Hecher, Stefan Woltran