Graph theoretical properties of logic based argumentation frameworks: proofs and general results

Bruno Yun 1 Madalina Croitoru 1 Srdjan Vesic 2 Pierre Bisquert 3, 1
1 GRAPHIK - Graphs for Inferences on Knowledge
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : In this paper we extend our first results concerning the characterisa-tion of the graph structure of logic based argumentation graphs with two main classes of findings. First we provide full proofs for the structural results of argu-mentation graphs built over Datalog+/-knowledge base composed of facts and negative constraints solely. Second, we also provide some structural properties for the general case of knowledge bases composed of facts, rules and negative constraints.
Document type :
Conference papers
Complete list of metadatas

Cited literature [16 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892703
Contributor : Bruno Yun <>
Submitted on : Wednesday, October 10, 2018 - 6:19:49 PM
Last modification on : Friday, June 14, 2019 - 6:31:20 PM
Long-term archiving on : Friday, January 11, 2019 - 5:31:13 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

Citation

Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert. Graph theoretical properties of logic based argumentation frameworks: proofs and general results. GKR: Graph Structures for Knowledge Representation and Reasoning, Aug 2017, Melbourne, Australia. pp.118-138, ⟨10.1007/978-3-319-78102-0_7⟩. ⟨lirmm-01892703⟩

Share

Metrics

Record views

251

Files downloads

87