6 citations · 17 across the 28 of their papers we have counts for
6 papers · 1 filter
Structure-Aware Encodings of Argumentation Properties for Clique-width
Yasir Mahmood, Markus Hecher, Johanna Groven +1
Structural measures of graphs, such as treewidth, are central tools in computational complexity resulting in efficient algorithms when exploiting the parameter. It is even known th…
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
Alexander Beiser, Markus Hecher, Stefan Woltran
The grounding bottleneck poses one of the key challenges that hinders the widespread adoption of Answer Set Programming in industry. Hybrid Grounding is a step in alleviating the b…
Facets in Argumentation: A Formal Approach to Argument Significance
Johannes Fichte, Nicolas Fröhlich, Markus Hecher +4
Argumentation is a central subarea of Artificial Intelligence (AI) for modeling and reasoning about arguments. The semantics of abstract argumentation frameworks (AFs) is given by…
The Model Counting Competitions 2021-2023
Johannes K. Fichte, Markus Hecher
Modern society is full of computational challenges that rely on probabilistic reasoning, statistics, and combinatorics. Interestingly, many of these questions can be formulated by…
Epistemic Logic Programs: Non-Ground and Counting Complexity
Thomas Eiter, Johannes K. Fichte, Markus Hecher +1
Answer Set Programming (ASP) is a prominent problem-modeling and solving framework, whose solutions are called answer sets. Epistemic logic programs (ELP) extend ASP to reason abou…
Counting and Reasoning with Plans
David Speck, Markus Hecher, Daniel Gnad +2
Classical planning asks for a sequence of operators reaching a given goal. While the most common case is to compute a plan, many scenarios require more than that. However, quantita…