论文信息 - How to Generate a Benchmark of Logical Argumentation Graphs?

How to Generate a Benchmark of Logical Argumentation Graphs?

In this demonstration extended abstract we present a workflow of how to generate a benchmark for logical argumentation graphs issued from knowledge bases expressed using existential rules.

Madalina Croitoru | Srdjan Vesic | Bruno Yun

[1] Katie Atkinson,et al. Algorithms for decision problems in argument systems under preferred semantics , 2014, Artif. Intell..

[2] Madalina Croitoru,et al. Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results , 2017, GKR.

[3] 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).

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

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

[6] Madalina Croitoru,et al. DAGGER: Datalog+/- Argumentation Graph GEneRator , 2018, AAMAS.

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