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

Argumentation frameworks instantiated from logical language allow for argument generation over real knowledge. We present some graph theoretical properties of argumentation graphs obtained from an inconsistent knowledge base expressed using existential rules.

[1]  Meghyn Bienvenu,et al.  On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies , 2012, AAAI.

[2]  Abdelraouf Hecham,et al.  An Empirical Evaluation of Argumentation in Explaining Inconsistency-Tolerant Query Answering , 2017, Description Logics.

[3]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[4]  Jia-Huai You,et al.  Expressive Completeness of Existential Rule Languages for Ontology-based Query Answering , 2016, IJCAI.

[5]  Leila Amgoud,et al.  Postulates for logic-based argumentation systems , 2014, Int. J. Approx. Reason..

[6]  Pietro Baroni,et al.  SCC-recursiveness: a general schema for argumentation semantics , 2005, Artif. Intell..

[7]  Madalina Croitoru,et al.  A Structural Benchmark for Logical Argumentation Frameworks , 2017, IDA.

[8]  Jean-Marie Lagniez,et al.  CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver , 2015, 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI).

[9]  Abdelraouf Hecham,et al.  Argumentation-Based Defeasible Reasoning For Existential Rules , 2017, AAMAS.

[10]  Stefan Woltran,et al.  The cf2 argumentation semantics revisited , 2013, J. Log. Comput..

[11]  Hannes Strass,et al.  Summary Report of The First International Competition on Computational Models of Argumentation , 2016, AI Mag..

[12]  Abdelraouf Hecham,et al.  Substantive Irrationality in Cognitive Systems , 2016, ECAI.

[13]  Martin Caminada,et al.  On the evaluation of argumentation formalisms , 2007, Artif. Intell..

[14]  Maurizio Lenzerini,et al.  Inconsistency-Tolerant Semantics for Description Logics , 2010, RR.

[15]  Massimiliano Giacomin,et al.  Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach , 2013, TAFA.

[16]  Andrea Calì,et al.  A general Datalog-based framework for tractable query answering over ontologies , 2012, J. Web Semant..

[17]  Sebastian Rudolph,et al.  Mixing Materialization and Query Rewriting for Existential Rules , 2014, ECAI.

[18]  Madalina Croitoru,et al.  Are Ranking Semantics Sensitive to the Notion of Core? , 2017, AAMAS.

[19]  Madalina Croitoru,et al.  What Can Argumentation Do for Inconsistent Ontology Query Answering? , 2013, SUM.

[20]  Abdallah Arioua,et al.  Explanatory dialogues with argumentative faculties over inconsistent knowledge bases , 2017, Expert Syst. Appl..

[21]  Abdallah Arioua,et al.  DALEK: A Tool for Dialectical Explanations in Inconsistent Knowledge Bases , 2016, COMMA.

[22]  Abdallah Arioua,et al.  Logic-based argumentation with existential rules , 2017, Int. J. Approx. Reason..

[23]  Pietro Baroni,et al.  An introduction to argumentation semantics , 2011, The Knowledge Engineering Review.

[24]  Abdallah Arioua,et al.  A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks , 2016, ECAI.

[25]  Madalina Croitoru,et al.  An Argumentation Workflow for Reasoning in Ontology Based Data Access , 2016, COMMA.

[26]  Andrea Calì,et al.  A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.

[27]  Jean-François Baget,et al.  On rules with existential variables: Walking the decidability line , 2011, Artif. Intell..