Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
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…
cs.LO2024
Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases
Yasir Mahmood, Markus Hecher, Axel-Cyrille Ngonga Ngomo
The connection between inconsistent databases and Dung's abstract argumentation framework has recently drawn growing interest. Specifically, an inconsistent database, involving cer…