, Encoding of semantics Case of extension-based semantics
, The language is propositional with the vocabulary V = {a, b, c, d}. For the considered AF, the complete extensions are characterized by the following formula ?, See Section 7.1
, Then, given a set of arguments S, it can be checked whether S is a complete extension
, d }. For the considered AF, the complete extensions are characterized by the following formula ?: [(¬x a ? ¬x b ) ? (¬x d ? ¬x b ) ? (¬x b ? ¬x c )] ?
, The formulas can be instantiated on a given AF. For the considered AF, the complete labellings are characterized by the following formula
, For the considered AF, the complete labellings are characterized by the following formula
A general QBFbased formalization of abstract argumentation theory, Proceedings of the 4th Conference on Computational Models of Argument (COMMA'2012), vol.245, pp.105-116, 2012. ,
A QBF-based formalization of abstract argumentation semantics, J. Applied Logic, vol.11, issue.2, pp.229-252, 2013. ,
, The SESAME website
A software system using a SAT solver for reasoning under complete, stable, preferred, and grounded argumentation semantics, KI 2015: Advances in Artificial Intelligence -38th Annual German Conference on AI, pp.241-248, 2015. ,
Characterizing change in abstract argumentation systems, Trends in Belief Revision and Argumentation Dynamics, vol.48, pp.75-102, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-02875531
An introduction to argumentation semantics, Knowledge Eng. Review, vol.26, issue.4, pp.365-410, 2011. ,
AFRA: Argumentation framework with recursive attacks, International Journal of Approximate Reasoning, vol.52, pp.19-37, 2011. ,
Checking the acceptability of a set of arguments, 10th International Workshop on Non-Monotonic Reasoning (NMR'04), pp.59-64, 2004. ,
Encoding Argument Graphs in Logic (regular paper), International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU), vol.443, pp.345-354, 2014. ,
SESAME -A System for Specifying Semantics in Abstract Argumentation (regular paper), International Workshop on Systems and Algorithms for Formal Argumentation (SAFA), pp.40-51 ,
Abstract dialectical frameworks. an overview, The IfCoLog Journal of Logics and their Applications, vol.4, issue.8, pp.2263-2318, 2017. ,
Abstract dialectical frameworks, Handbook of Formal Argumentation, pp.237-286, 2018. ,
Support in abstract argumentation, Proceeding of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010, pp.111-122, 2010. ,
Temporal dynamics of support and attack networks : From argumentation to zoology, Mechanizing Mathematical Reasoning. LNAI 2605, pp.59-98 ,
A logical theory about dynamics in abstract argumentation, Scalable Uncertainty Management, vol.8078, pp.148-161, 2013. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00863487
The ADF Project website ,
The GRAPPA Project website ,
Computing preferred extensions in abstract argumentation: A sat-based approach, Theory and Applications of Formal Argumentation, TAFA 2013, vol.8306, pp.176-193 ,
Change in abstract argumentation frameworks: Adding an argument, Journal of Artificial Intelligence Research, vol.38, pp.49-84, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-02875350
Valid attacks in argumentation frameworks with recursive attacks, Proc. of Thirteenth International Symposium on Commonsense Reasoning, volume 2052. CEUR Workshop Proceedings, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01709146
Argumentation frameworks with recursive attacks and evidence-based support, Proc. of Tenth International Symposium on Foundations of Information and Knowledge Systems (FoIKS), volume LNCS 10833, pp.150-169, 2018. ,
Logical encodings of interactions in an argumentation graph with recursive attacks, 2017. ,
A logical account of formal argumentation, Studia Logica, vol.93, issue.2-3, pp.109-145, 2009. ,
A survey of different approaches to support in argumentation systems, The Knowledge Engineering Review, vol.29, pp.513-550, 2014. ,
An approach to abstract argumentation with recursive attack and support, Journal of Applied Logic, vol.13, issue.4, pp.509-533, 2015. ,
Argsemsat: Solving argumentation problems using SAT, Computational Models of Argument -Proceedings of COMMA, pp.455-456, 2014. ,
, The Grafix website
Gradual valuation for bipolar argumentation frameworks, Proc. of the eighth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU) -LNAI 3571, pp.366-377, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-02875474
Bipolarity in argumentation graphs: towards a better understanding, International Journal of Approximate Reasoning, vol.54, issue.7, pp.876-899, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01123535
Acceptability semantics in recursive argumentation frameworks: Logical encoding and computation. Rapport de recherche IRIT/RR, 2018. ,
Logical encoding of argumentation frameworks with higher-order attacks, Proc. of the 30th International Conference on Tools with Artificial Intelligence (ICTAI), 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02181912
Constrained argumentation frameworks, Proc. of KR, pp.112-122, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00121160
On the revision of argumentation systems: Minimal change of argument statuses, International Conference on Principles of Knowledge Representation and Reasoning (KR), pp.72-81, 2014. ,
A translation-based approach for revision of argumentation frameworks, Logics in Artificial Intelligence, pp.397-411, 2014. ,
Inferring preferred extensions by pstable semantics. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, vol.13, issue.41, pp.38-53, 2009. ,
On the equivalence between logic programming semantics and argumentation semantics, Int. J. Approx. Reasoning, vol.58, pp.87-111, 2015. ,
Argumentation update in YALLA (yet another logic language for argumentation), Int. J. Approx. Reasoning, vol.75, pp.57-92, 2016. ,
Claire Lefèvre, and Pascal Nicolas. Dialectical proofs for constrained argumentation, Computational Models of Argument -Proceedings of COMMA, pp.159-170, 2010. ,
Reduction-based approaches to implement Modgil's extended argumentation frameworks, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -Essays Dedicated to Gerhard Brewka on the Occasion of his 60th Birthday, vol.9060, pp.249-264, 2015. ,
The ASPARTIX website ,
An extension-based approach to belief revision in abstract argumentation, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), pp.2926-2932, 2015. ,
A dynamic logic framework for abstract argumentation, Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR'2014), 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01787378
The CEGARTIX website ,
CEGARTIX: a SAT-based argumentation system, Proc. of Pragmatics of SAT, workshop of SAT conference, 2012. ,
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games, Artif. Intell, vol.77, issue.2, pp.321-358, 1995. ,
Reasoning in abstract dialectical frameworks using quantified boolean formulas, Proceedings of the 5th Conference on Computational Models of Argument (COMMA'2014), pp.241-252, 2014. ,
Reasoning in abstract dialectical frameworks using quantified boolean formulas, Argument & Computation, vol.6, issue.2, pp.149-177, 2015. ,
Answer-set programming encodings for argumentation frameworks, Argument & Computation, vol.1, issue.2, pp.147-177, 2010. ,
Constructive logic covers argumentation and logic programming, Proc. of Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), pp.128-137, 2018. ,
Fibring argumentation frames, Studia Logica, vol.93, pp.231-295, 2009. ,
Semantics for higher level attacks in extended argumentation frames part 1: Overview. Studia Logica, vol.93, pp.357-381, 2009. ,
Meta-logical Investigations in Argumentation Networks. Number 44 in Studies in logic, 2013. ,
Towards a general argumentation system based on answer-set programming, Technical Communications of the 26th International Conference on Logic Programming, vol.7, pp.265-269, 2010. ,
The attack as strong negation, part I, Logic Journal of the IGPL, vol.23, issue.6, pp.881-941, 2015. ,
The attack as intuitionistic negation, Logic Journal of the IGPL, vol.24, issue.5, pp.807-837, 2016. ,
On the logic of argumentation theory, Proc. of AAMAS, pp.409-416, 2010. ,
Computer supported argumentation and collaborative decision making: the hermes system, Information systems, vol.26, issue.4, pp.259-277, 2001. ,
Coquiaas: A constraint-based quick abstract argumentation solver, 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI, pp.928-935, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-02380767
The ASPeRiX website ,
Satbased approaches to adjusting, repairing, and computing largest extensions of argumentation frameworks, Computational Models of Argument -Proceedings of COMMA, pp.193-204, 2018. ,
Reasoning about preferences in argumentation frameworks, Artificial Intelligence, vol.173, pp.901-934, 2009. ,
AFs with necessities: further semantics and labelling characterization, Proc. of the International Conference on Scalable Uncertainty Management (SUM), pp.120-133, 2013. ,
Bipolar argumentation frameworks with specialized supports, Proc. of the IEEE International Conference on Tools with Artificial Intelligence (ICTAI), pp.215-218, 2010. ,
Argumentation frameworks with necessities, Proc. of the International Conference on Scalable Uncertainty Management (SUM), pp.163-176, 2011. ,
Semantics for evidence-based argumentation, Proc of the 2 nd international conference on Computational Models of Argument (COMMA), pp.276-284, 2008. ,
Range-based argumentation semantics as two-valued models, TPLP, vol.17, issue.1, pp.75-90, 2017. ,
Complete extensions as clark's completion semantics, Mexican International Conference on Computer Science, ENC 2013, pp.81-88, 2013. ,
Moving between argumentation frameworks, Proceeding of the conference on Computational Models of Argument (COMMA), pp.379-390, 2010. ,
Encoding argumentation semantics by boolean algebra, IEICE Transactions, issue.4, pp.838-848, 2017. ,
Revisiting support in abstract argumentation systems, 2014. ,
Intertranslatability of abstract argumentation frameworks, 2017. ,
Representing argumentation frameworks in answer set programming, Fundamenta Informaticae, vol.155, issue.3, pp.261-292, 2017. ,
A logic of argumentation for specification and verification of abstract argumentation frameworks, Annals of Mathematics and Artificial Intelligence, vol.66, issue.1-4, pp.199-230, 2012. ,
Modelling defeasible and prioritized support in bipolar argumentation, Annals of Mathematics and Artificial Intelligence, vol.66, issue.1-4, pp.163-197, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01076568
Deflog: on the logical interpretation of prima facie justified assumptions, Journal of Logic in Computation, vol.13, pp.319-346, 2003. ,
Complete extensions in argumentation coincide with 3-valued stable models in logic programming, Studia Logica: An International Journal for Symbolic Logic, vol.93, pp.383-403, 2009. ,
Finding kernels or solving SAT, Discrete Algorithms, vol.10, pp.146-164, 2012. ,
Advanced SAT techniques for abstract argumentation, Computational Logic in Multi-Agent Systems -14th International Workshop, pp.138-154, 2013. ,