Viktor Besin

According to our database, Viktor Besin authored at least 4 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and Treewidth.

Viktor Besin, Markus Hecher, Stefan Woltran

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract).

Viktor Besin, Markus Hecher, Stefan Woltran

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck.

Viktor Besin, Markus Hecher, Stefan Woltran

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs.

Viktor Besin, Markus Hecher, Stefan Woltran

Theory Pract. Log. Program., 2021