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.
Type de document :
Communication dans un congrès
GKR: Graph Structures for Knowledge Representation and Reasoning, Aug 2018, Melbourne, Australia. 5th Workshop on Graph Structures for Knowledge Representation and Reasoning, 2018
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01892703
Contributeur : Bruno Yun <>
Soumis le : mercredi 10 octobre 2018 - 18:19:49
Dernière modification le : vendredi 12 octobre 2018 - 01:18:22
Document(s) archivé(s) le : vendredi 11 janvier 2019 - 17:31:13

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : lirmm-01892703, version 1

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 2018, Melbourne, Australia. 5th Workshop on Graph Structures for Knowledge Representation and Reasoning, 2018. 〈lirmm-01892703〉

Partager

Métriques

Consultations de la notice

101

Téléchargements de fichiers

29