55 citations · 277 across the 43 of their papers we have counts for
Showing 2021 · cs.AIShow all
2 papers · 2 filters
cs.AI2021
Aspartix-V21
Wolfgang Dvořák, Matthias König, Johannes P. Wallner +1
In this solver description we present ASPARTIX-V, in its 2021 edition, which participates in the International Competition on Computational Models of Argumentation (ICCMA) 2021. AS…
cs.AI2021
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs
Viktor Besin, Markus Hecher, Stefan Woltran
Extending the popular Answer Set Programming (ASP) paradigm by introspective reasoning capacities has received increasing interest within the last years. Particular attention is gi…