Logo image
Se connecter
Graph theoretical properties of logic based argumentation frameworks: proofs and general results
Acte de colloque   Open Access

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

Bruno Yun, Madalina Croitoru, Srdjan Vesic et Pierre Bisquert
Revised Selected Papers, Vol.LNCS(10775), pp.118-138
Revised Selected Papers
5th International Workshop on Graph Structures for Knowledge Representation and Reasoning (GKR 2017), Revised Selected Papers (Melbourne, Australia, 21/08/2017)
2018

Résumé

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.

Fichiers et liens (1)

url
Find in HALAfficher

Indicateurs

1 Consultations de la notice

Détails

Logo image