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

Viktor Besin, Markus Hecher, Stefan Woltran

Video #1 Length : 00:01:25
Video #2 Length : 00:11:59