4 papers · 1 filter
ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
Anselm Haak, Patrick Koopmann, Yasir Mahmood +1
Given a knowledge base (KB) with a non-entailed fact, the ABox abduction problem asks for possible extensions of the KB that would entail this fact. This problem has many applicati…
Why not? Developing ABox Abduction beyond Repairs
Anselm Haak, Patrick Koopmann, Yasir Mahmood +1
Abduction is the task of computing a sufficient extension of a knowledge base (KB) that entails a conclusion not entailed by the original KB. It serves to compute explanations, or…
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…
Parameterised Complexity of Propositional Inclusion and Independence Logic
Yasir Mahmood, Jonni Virtema
We give a comprehensive account on the parameterized complexity of model checking and satisfiability of propositional inclusion and independence logic. We discover that for most pa…