6 citations · 17 across the 28 of their papers we have counts for
Showing 2024 · cs.AIShow all
3 papers · 2 filters
cs.AI2024
Rejection in Abstract Argumentation: Harder Than Acceptance?
Johannes K. Fichte, Markus Hecher, Yasir Mahmood +1
Abstract argumentation is a popular toolkit for modeling, evaluating, and comparing arguments. Relationships between arguments are specified in argumentation frameworks (AFs), and…
cs.AI2024
Finite Groundings for ASP with Functions: A Journey through Consistency
Lukas Gerlach, David Carral, Markus Hecher
Answer set programming (ASP) is a logic programming formalism used in various areas of artificial intelligence like combinatorial problem solving and knowledge representation and r…
cs.AI2024
Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
Markus Hecher, Rafael Kiesel
Answer Set Programming (ASP) is a generic problem modeling and solving framework with a strong focus on knowledge representation and a rapid growth of industrial applications. So f…