Hecher, Markus

24 publications

AAAI 2025 Counting and Reasoning with Plans David Speck, Markus Hecher, Daniel Gnad, Johannes Klaus Fichte, Augusto B. Corrêa

AAAI 2025 Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases Yasir Mahmood, Markus Hecher, Axel-Cyrille Ngonga Ngomo

IJCAI 2025 Facets in Argumentation: A Formal Approach to Argument Significance Johannes Klaus Fichte, Nicolas Fröhlich, Markus Hecher, Victor Lagerkvist, Yasir Mahmood, Arne Meier, Jonathan Persson

IJCAI 2024 Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting Alexander Beiser, Markus Hecher, Kaan Unalan, Stefan Woltran

JAIR 2024 Counting Complexity for Reasoning in Abstract Argumentation Johannes Klaus Fichte, Markus Hecher, Arne Meier

IJCAI 2024 Epistemic Logic Programs: Non-Ground and Counting Complexity Thomas Eiter, Johannes Klaus Fichte, Markus Hecher, Stefan Woltran

IJCAI 2024 Finite Groundings for ASP with Functions: A Journey Through Consistency Lukas Gerlach, David Carral, Markus Hecher

AAAI 2024 On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? Markus Hecher, Rafael Kiesel

AAAI 2024 Parallel Empirical Evaluations: Resilience Despite Concurrency Johannes Klaus Fichte, Tobias Geibinger, Markus Hecher, Matthias Schlögel

IJCAI 2024 Quantitative Claim-Centric Reasoning in Logic-Based Argumentation Markus Hecher, Yasir Mahmood, Arne Meier, Johannes Schmidt

AAAI 2023 Characterizing Structural Hardness of Logic Programs: What Makes Cycles and Reachability Hard for Treewidth? Markus Hecher

AAAI 2023 Inconsistent Cores for ASP: The Perks and Perils of Non-Monotonicity Johannes Klaus Fichte, Markus Hecher, Stefan Szeider

IJCAI 2023 Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier

IJCAI 2023 Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs Jorge Fandinno, Markus Hecher

AAAI 2022 ApproxASP - A Scalable Approximate Answer Set Counter Mohimenul Kabir, Flavio O. Everardo, Ankit K. Shukla, Markus Hecher, Johannes Klaus Fichte, Kuldeep S. Meel

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

IJCAI 2022 Plausibility Reasoning via Projected Answer Set Counting - A Hybrid Approach Johannes Klaus Fichte, Markus Hecher, Mohamed A. Nadeem

AAAI 2022 Tractable Abstract Argumentation via Backdoor-Treewidth Wolfgang Dvorák, Markus Hecher, Matthias König, André Schidler, Stefan Szeider, Stefan Woltran

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

IJCAI 2021 Decomposition-Guided Reductions for Argumentation and Treewidth Johannes Klaus Fichte, Markus Hecher, Yasir Mahmood, Arne Meier

AAAI 2021 Knowledge-Base Degrees of Inconsistency: Complexity and Counting Johannes Klaus Fichte, Markus Hecher, Arne Meier

AAAI 2021 Treewidth-Aware Complexity in ASP: Not All Positive Cycles Are Equally Hard Jorge Fandinno, Markus Hecher

AAAI 2020 Structural Decompositions of Epistemic Logic Programs Markus Hecher, Michael Morak, Stefan Woltran

AAAI 2019 Counting Complexity for Reasoning in Abstract Argumentation Johannes Klaus Fichte, Markus Hecher, Arne Meier