Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results

Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

In this paper we extend our first results concerning the characterisation 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 argumentation 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.
Original languageEnglish
Title of host publicationGraph Structures for Knowledge Representation and Reasoning
Subtitle of host publication5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
EditorsM Croitoru , P Marquis , S Rudolph , G Stapleton
PublisherSpringer
Pages118-138
Number of pages21
ISBN (Electronic)978-3-319-78102-0
ISBN (Print)978-3-319-78101-3
DOIs
Publication statusPublished - 2017
EventInternational Workshop on Graph Structures for Knowledge Representation and Reasoning - Melbourne, Australia
Duration: 21 Aug 2017 → …

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume10775
ISSN (Print)0302-9743

Conference

ConferenceInternational Workshop on Graph Structures for Knowledge Representation and Reasoning
Abbreviated titleGKR 2017
CountryAustralia
CityMelbourne
Period21/08/17 → …

Fingerprint

Argumentation
Logic
Knowledge Base
Graph in graph theory
Datalog
Structural Properties
Framework

Cite this

Yun, B., Croitoru, M., Vesic, S., & Bisquert, P. (2017). Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results. In M. Croitoru , P. Marquis , S. Rudolph , & G. Stapleton (Eds.), Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers (pp. 118-138). (Lecture Notes in Computer Science; Vol. 10775). Springer . https://doi.org/10.1007/978-3-319-78102-0_7

Graph Theoretical Properties of Logic Based Argumentation Frameworks : Proofs and General Results. / Yun, Bruno; Croitoru, Madalina; Vesic, Srdjan; Bisquert, Pierre.

Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers. ed. / M Croitoru ; P Marquis ; S Rudolph ; G Stapleton. Springer , 2017. p. 118-138 (Lecture Notes in Computer Science; Vol. 10775).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Yun, B, Croitoru, M, Vesic, S & Bisquert, P 2017, Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results. in M Croitoru , P Marquis , S Rudolph & G Stapleton (eds), Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers. Lecture Notes in Computer Science, vol. 10775, Springer , pp. 118-138, International Workshop on Graph Structures for Knowledge Representation and Reasoning, Melbourne, Australia, 21/08/17. https://doi.org/10.1007/978-3-319-78102-0_7
Yun B, Croitoru M, Vesic S, Bisquert P. Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results. In Croitoru M, Marquis P, Rudolph S, Stapleton G, editors, Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers. Springer . 2017. p. 118-138. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-78102-0_7
Yun, Bruno ; Croitoru, Madalina ; Vesic, Srdjan ; Bisquert, Pierre. / Graph Theoretical Properties of Logic Based Argumentation Frameworks : Proofs and General Results. Graph Structures for Knowledge Representation and Reasoning: 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers. editor / M Croitoru ; P Marquis ; S Rudolph ; G Stapleton. Springer , 2017. pp. 118-138 (Lecture Notes in Computer Science).
@inproceedings{fea1a055cef545f887de93b758956f35,
title = "Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results",
abstract = "In this paper we extend our first results concerning the characterisation 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 argumentation 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.",
author = "Bruno Yun and Madalina Croitoru and Srdjan Vesic and Pierre Bisquert",
year = "2017",
doi = "10.1007/978-3-319-78102-0_7",
language = "English",
isbn = "978-3-319-78101-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "118--138",
editor = "{Croitoru }, M and {Marquis }, P and {Rudolph }, S and G Stapleton",
booktitle = "Graph Structures for Knowledge Representation and Reasoning",

}

TY - GEN

T1 - Graph Theoretical Properties of Logic Based Argumentation Frameworks

T2 - Proofs and General Results

AU - Yun, Bruno

AU - Croitoru, Madalina

AU - Vesic, Srdjan

AU - Bisquert, Pierre

PY - 2017

Y1 - 2017

N2 - In this paper we extend our first results concerning the characterisation 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 argumentation 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.

AB - In this paper we extend our first results concerning the characterisation 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 argumentation 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.

U2 - 10.1007/978-3-319-78102-0_7

DO - 10.1007/978-3-319-78102-0_7

M3 - Conference contribution

SN - 978-3-319-78101-3

T3 - Lecture Notes in Computer Science

SP - 118

EP - 138

BT - Graph Structures for Knowledge Representation and Reasoning

A2 - Croitoru , M

A2 - Marquis , P

A2 - Rudolph , S

A2 - Stapleton, G

PB - Springer

ER -