@inbook{4cafe0f2e4c54da3886bcd3e64f0974c,
title = "An argumentation system for reasoning with LPm",
abstract = "? 2014 The Authors and IOS Press.Inconsistent knowledge-bases can entail useful conclusions when using the three-valued semantics of the paraconsistent logic LP. However, the set of conclusions entailed by a consistent knowledge-base under the three-valued semantics is smaller than set of conclusions entailed by the knowledge-base under a two-valued semantics. Preferring conflict-minimal interpretations of the logic LP; i.e., LPm, reduces the gap between these two sets of conclusions. Preferring conflict-minimal interpretations introduces non-monotonicity. To handle the non-monotonicity, this paper proposes an assumption-based argumentation system. Assumptions needed to close branches of a semantic tableaux form the arguments. Stable extensions of the set of derived arguments correspond to conflict minimal interpretations and conclusions entailed by all conflict-minimal interpretations are supported by arguments in all stable extensions.",
author = "Wenzhao Qiao and Nico Roos",
year = "2014",
doi = "10.3233/978-1-61499-419-0-753",
language = "English",
isbn = "9781614994183",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press",
pages = "753--758",
booktitle = "Frontiers in Artificial Intelligence and Applications",
address = "Netherlands",
}