PPaperPicks

Markus Hecher

CRIL, Lens, France

17 papers at tracked venues · 5 at CORE A* · active 2024–2026

DBLP profile ↗ORCID 0000-0003-0131-6771 ↗Google Scholar ↗Homepage ↗

Venues

KR ×6AAAI ×5IJCAI ×5ECAI ×1

Frequent coauthors

Johannes Klaus Fichte
×9
Yasir Mahmood
×5
Arne Meier
×3
Stefan Woltran
×3
Max Bannach
×2
Johanna Groven
×2
David Speck
×2
Daniel Gnad
×2
Alexander Beiser
×2
Martin Gebser
×2
Sarah Alice Gaggl
×2
Dominik Rusovac
×2

Papers

  1. Counting Complexity of ASP
    KR 2026 ·
    Max Bannach
    ,
    Johannes Klaus Fichte
    ,
    Johanna Groven
    , Markus Hecher
  2. Structure-Aware Encodings of Argumentation Properties for Clique-width
    AAAI 2026 ·
    Yasir Mahmood
    , Markus Hecher,
    Johanna Groven
    ,
    Johannes Klaus Fichte
  3. Counting Solutions Under Cardinality Constraints: Structure Counts in Counting
    KR 2025 ·
    Max Bannach
    , Markus Hecher
  4. Counting and Reasoning with Plans
    AAAI 2025 ·
    David Speck
    , Markus Hecher,
    Daniel Gnad
    ,
    Johannes Klaus Fichte
    ,
    Augusto B. Corrêa
  5. Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
    AAAI 2025 ·
    Yasir Mahmood
    , Markus Hecher,
    Axel-Cyrille Ngonga Ngomo
  6. Facets in Argumentation: A Formal Approach to Argument Significance
    IJCAI 2025 ·
    Johannes Klaus Fichte
    ,
    Nicolas Fröhlich
    , Markus Hecher,
    Victor Lagerkvist
    ,
    Yasir Mahmood
    ,
    Arne Meier
    ,
    Jonathan Persson
  7. FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding
    KR 2025 ·
    Alexander Beiser
    ,
    Martin Gebser
    , Markus Hecher,
    Stefan Woltran
  8. Interactive Exploration of Plan Spaces
    KR 2025 ·
    Daniel Gnad
    , Markus Hecher,
    Sarah Alice Gaggl
    ,
    Dominik Rusovac
    ,
    David Speck
    ,
    Johannes Klaus Fichte
  9. Reasoning with Restricted Statistical Statements in Probabilistic Answer Set Programming: Complexity and Algorithms
    KR 2025 ·
    Damiano Azzolini
    , Markus Hecher
  10. Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting
    IJCAI 2024 ·
    Alexander Beiser
    , Markus Hecher,
    Kaan Unalan
    ,
    Stefan Woltran
  11. Epistemic Logic Programs: Non-Ground and Counting Complexity
    IJCAI 2024 ·
    Thomas Eiter
    ,
    Johannes Klaus Fichte
    , Markus Hecher,
    Stefan Woltran
  12. Finite Groundings for ASP with Functions: A Journey through Consistency
    IJCAI 2024 ·
    Lukas Gerlach
    ,
    David Carral
    , Markus Hecher
  13. Navigating and Querying Answer Sets: How Hard Is It Really and Why?
    KR 2024 ·
    Dominik Rusovac
    , Markus Hecher,
    Martin Gebser
    ,
    Sarah Alice Gaggl
    ,
    Johannes Klaus Fichte
  14. On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
    AAAI 2024 · Markus Hecher,
    Rafael Kiesel
  15. Parallel Empirical Evaluations: Resilience despite Concurrency
    AAAI 2024 ·
    Johannes Klaus Fichte
    ,
    Tobias Geibinger
    , Markus Hecher,
    Matthias Schlögel
  16. Quantitative Claim-Centric Reasoning in Logic-Based Argumentation
    IJCAI 2024 · Markus Hecher,
    Yasir Mahmood
    ,
    Arne Meier
    ,
    Johannes Schmidt
  17. Rejection in Abstract Argumentation: Harder Than Acceptance?
    ECAI 2024 ·
    Johannes Klaus Fichte
    , Markus Hecher,
    Yasir Mahmood
    ,
    Arne Meier