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

Bruno Yun; Madalina Croitoru; Srdjan Vesic; Pierre Bisquert

doi:10.1007/978-3-319-78102-0_7

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 proceeding › Published conference 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 language	English
Title of host publication	Graph Structures for Knowledge Representation and Reasoning
Subtitle of host publication	5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers
Editors	M Croitoru , P Marquis , S Rudolph , G Stapleton
Publisher	Springer
Pages	118-138
Number of pages	21
ISBN (Electronic)	978-3-319-78102-0
ISBN (Print)	978-3-319-78101-3
DOIs	https://doi.org/10.1007/978-3-319-78102-0_7
Publication status	Published - 2017
Event	International Workshop on Graph Structures for Knowledge Representation and Reasoning - Melbourne, Australia Duration: 21 Aug 2017 → 21 Aug 2017

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	10775
ISSN (Print)	0302-9743

Conference

Conference	International Workshop on Graph Structures for Knowledge Representation and Reasoning
Abbreviated title	GKR 2017
Country/Territory	Australia
City	Melbourne
Period	21/08/17 → 21/08/17

Access to Document

10.1007/978-3-319-78102-0_7Licence: Unspecified

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 et al.
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 proceeding › Published conference 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). doi: 10.1007/978-3-319-78102-0_7

Yun, Bruno ; Croitoru, Madalina ; Vesic, Srdjan et al. / 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",

note = "International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2017 ; Conference date: 21-08-2017 Through 21-08-2017",

}

TY - GEN

T1 - Graph Theoretical Properties of Logic Based Argumentation Frameworks

T2 - International Workshop on Graph Structures for Knowledge Representation and Reasoning

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 - Published 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

Y2 - 21 August 2017 through 21 August 2017

ER -

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

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this