Graph theoretical properties of logic based argumentation frameworks: proofs and general results - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2018

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

Bruno Yun
Madalina Croitoru
Srdjan Vesic

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.
Fichier principal
Vignette du fichier
paper.pdf (289.59 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

lirmm-01892703 , version 1 (10-10-2018)

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook X LinkedIn More