Argumentation reasoning via circumscription with Pyglaf, Fundamenta Informaticae, vol.167, issue.1-2, 2019. ,
A reasoning model based on the production of acceptable arguments, Annals of Mathematics and Artificial Intelligence, vol.34, pp.197-216, 2002. ,
Modelling dialogues using argumentation, Proc. of ICMAS, pp.31-38, 2000. ,
A general QBF-based 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. ,
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. ,
Temporal dynamics of support and attack networks: From argumentation to zoology, vol.2605, pp.59-98, 2005. ,
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, Proceedings, pp.241-248, 2015. ,
, The SESAME website
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, International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU), vol.443, pp.345-354, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01147220
SESAME -a system for specifying semantics in abstract argumentation, International Workshop on Systems and Algorithms for Formal Argumentation (SAFA), vol.1672, pp.40-51, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01475020
A logic-based theory of deductive arguments, Artificial Intelligence, vol.128, issue.1-2, pp.71-77, 2001. ,
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-02884051
, Int. competition on computational models of argumentation, 2019.
, Proceeding of the 2010 Conference on Computational Models of Argument: Proceedings of COMMA 2010, pp.111-122, 2010.
A logical theory about dynamics in abstract argumentation, Lecture Notes in Computer Science, vol.8078, pp.148-161, 2013. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00863487
Solving advanced argumentation problems with answer-set programming, Proc. of AAAI, pp.1077-1083, 2017. ,
Abstract Dialectical Frameworks. An overview, The IfCoLog Journal of Logics and Their Applications, vol.4, issue.8, pp.2263-2318, 2017. ,
Abstract Dialectical Frameworks, in: Handbook of Formal Argumentation, pp.237-286, 2018. ,
, The ADF project website
, The GRAPPA project website
On the equivalence between logic programming semantics and argumentation semantics, Int. J. Approx. Reasoning, vol.58, pp.87-111, 2015. ,
A logical account of formal argumentation, Studia Logica, vol.93, issue.2-3, pp.109-145, 2009. ,
Inferring preferred extensions by pstable semantics, Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, vol.13, issue.41, pp.38-53, 2009. ,
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, CEUR Workshop Proceedings, vol.2052, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-02884131
Argumentation frameworks with recursive attacks and evidence-based support, Proc. of Tenth International Symposium on Foundations of Information and Knowledge Systems (FoIKS), vol.10833, pp.150-169, 2018. ,
Logical encodings of interactions in an argumentation graph with recursive attacks, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-02884127
Gradual valuation for bipolar argumentation frameworks, Proc. of the Eighth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, vol.3571, pp.366-377, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-02875474
, Bipolarity in argumentation graphs: Towards a better understanding, vol.54, pp.876-899, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01123535
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
Acceptability semantics in recursive argumentation frameworks: Logical encoding and computation, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02884142
, The Grafix website
Computing preferred extensions in abstract argumentation: A SATbased approach, Theory and Applications of Formal Argumentation, vol.8306, pp.176-193, 2013. ,
ArgSemSAT: Solving argumentation problems using SAT, Computational Models of Argument -Proceedings of COMMA, pp.455-456, 2014. ,
An SCC recursive meta-algorithm for computing preferred labellings in abstract argumentation, Proc. of KR, pp.42-51, 2014. ,
An efficient Java-based solver for abstract argumentation framework: jArgSem-SAT, Int. Journal of Articial Intelligence Tools, vol.26, issue.2, pp.1-26, 2017. ,
, , 2017.
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. ,
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, pp.72-81, 2014. ,
A translation-based approach for revision of argumentation frameworks, Logics in Artificial Intelligence, pp.397-411, 2014. ,
Dialectical proofs for constrained argumentation, Computational Models of Argument -Proceedings of COMMA, pp.159-170, 2010. ,
Applications of ASP in formal argumentation, Proc. of TAASP Workshop, 2018. ,
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. ,
Reasoning in Abstract Dialectical Frameworks using quantified Boolean formulas, Argument & Computation, vol.6, issue.2, pp.149-177, 2015. ,
Reasoning in Abstract Dialectical Frameworks using quantified Boolean formulas, Proceedings of the 5th Conference on Computational Models of Argument (COMMA'2014, vol.266, pp.241-252, 2014. ,
Control argumentation frameworks, Proc. of AAAI, pp.4678-4685, 2018. ,
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
Constraints and changes a survey of abstract argumentation dynamics, Argument & Computation, vol.9, issue.3, pp.223-248, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02191836
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. ,
Argumentation update in YALLA (Yet Another Logic Language for Argumentation), Int. J. Approx. Reasoning, vol.75, pp.57-92, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01372745
Reduction-based approaches to implement Modgil's extended argumentation frameworks, in: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, vol.9060, pp.249-264, 2015. ,
, The ASPARTIX website
Complexity-sensitive decision procedures for abstract argumentation, Artificial Intelligence, vol.206, pp.53-78, 2014. ,
CEGARTIX: A SAT-based argumentation system, Proc. of Pragmatics of SAT, Workshop of SAT Conference, 2012. ,
, The CEGARTIX website
Answer-set programming encodings for argumentation frameworks, Argument & Computation, vol.1, issue.2, pp.147-177, 2010. ,
Enumerating preferred extensions using ASP domain heuristics: The ASPrMin solver, Proc. of COMMA, pp.459-460, 2018. ,
Constructive logic covers argumentation and logic programming, Proc. of Sixteenth International Conference on Principles of Knowledge Representation and Reasoning, 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, issue.2-3, pp.357-381, 2009. ,
, Meta-Logical Investigations in Argumentation Networks, vol.44, 2013.
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. ,
Towards a general argumentation system based on answer-set programming, Technical Communications of the 26th International Conference on Logic Programming (ICLP 2010, vol.7, pp.265-269, 2010. ,
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
SAT-based approaches to adjusting, repairing, and computing largest extensions of argumentation frameworks, Computational Models of Argument -Proceedings of COMMA, pp.193-204, 2018. ,
Novel algorithms for Abstract Dialectical Frameworks based on complexity analysis of subclasses and SAT solving, Proc. of IJCAI, pp.1905-1911, 2018. ,
Reasoning about preferences in argumentation frameworks, Artificial Intelligence, vol.173, pp.901-934, 2009. ,
, ?-toksia. Participating in ICCMA 2019, 2019.
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 2nd International Conference on Computational Models of Argument (COMMA), pp.276-284, 2008. ,
Moving between argumentation frameworks, Proceeding of the Conference on Computational Models of Argument (COMMA), pp.379-390, 2010. ,
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. ,
Understanding the abstract dialectical framework, Proc. of JELIA, pp.430-446, 2016. ,
Intertranslatability of abstract argumentation frameworks, 2017. ,
Revisiting support in abstract argumentation systems, 2014. ,
Encoding argumentation semantics by Boolean algebra, IEICE Transactions, vol.100, issue.4, pp.838-848, 2017. ,
Representing argumentation frameworks in answer set programming, Fundamenta Informaticae, vol.155, issue.3, pp.261-292, 2017. ,
Argumentation and answer set programming, in: Logic Programming, Knowledge Representation and Nonmonotonic Reasoning: Essays in Honor of Michael, pp.164-180, 2010. ,
DEFLOG: On the logical interpretation of prima facie justified assumptions, Journal of Logic in Computation, vol.13, pp.319-346, 2003. ,
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
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. ,
URL : https://hal.archives-ouvertes.fr/hal-01076597
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. ,
Complete extensions in argumentation coincide with 3-valued stable models in logic programming, Studia Logica: An International Journal for Symbolic Logic, vol.93, issue.2/3, pp.383-403, 2009. ,