Publications de Sylvie DOUTRE
Sylvie Doutre, Marie-Christine Lagasquie-Schiex
RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks
Journal of Applied Non-Classical Logics, 2023, pp.1-54. ⟨10.1080/11663081.2023.2244715⟩
Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex
Generic logical encoding for argumentation
Journal of Logic and Computation, 2023, 33 (3), pp.623-704. ⟨10.1093/logcom/exac039⟩
Xiaolong Liu, Philippe Besnard, Sylvie Doutre
Paraconsistent inference relations induced from inconsistency measures
International Journal of Approximate Reasoning, 2023, special issue: SI: Extended papers from the Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), 152, pp.183-197. ⟨10.1016/j.ijar.2022.10.006⟩
Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex
Towards Algorithms for Argumentation Frameworks with Higher-order Attacks
International Journal on Artificial Intelligence Tools, 2022, Special Issue on Selected Papers from the 32nd Annual IEEE International Conference on Tools with Artificial Intelligence (ICTAI-2020), 31 (07), pp.2260007. ⟨10.1142/S0218213022600077⟩
Philippe Besnard, Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex
Explaining Semantics and Extension Membership in Abstract Argumentation
Intelligent Systems with Applications, 2022, 16, pp.200118. ⟨10.1016/j.iswa.2022.200118⟩
Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes Peter Wallner
Enforcement in Formal Argumentation
IfColog Journal of Logics and their Applications (FLAP), 2021, Special Issue on Formal Argumentaiton, 8 (6), pp.1623-1678
Sylvie Doutre, Jean-Guy Mailly
Constraints and Changes: A Survey of Abstract Argumentation Dynamics
Argument and Computation, 2018, 9 (3), pp.223-248. ⟨10.3233/AAC-180425⟩
Trevor Bench-Capon, Sylvie Doutre, Paul Dunne
Audiences in argumentation frameworks
Dans : Artificial Intelligence, Elsevier, Vol. 171 N. 1, p. 42-71, janvier 2007.
Claudette Cayrol, Sylvie Doutre, Jérôme Mengin
On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 13 N. 3, p. 377-403, 2003.
Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex
Classes of Explanations for the Verification Problem in Abstract Argumentation
Journées d’Intelligence Artificielle Fondamentale (JIAF 2023), Association française pour l’intelligence artificielle (AFIA), Jul 2023, Strasboug, France. pp.1-10
Sylvie Doutre, Marie-Christine Lagasquie-Schiex
Computing the Labellings of Higher-Order Abstract Argumentation Frameworks
4th International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022), Sep 2022, Cardiff, United Kingdom. pp.45-58
Xiaolong Liu, Philippe Besnard, Sylvie Doutre
Inducing Inference Relations from Inconsistency Measures
16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2021), Sep 2021, Prague, Czech Republic. pp.486-498, ⟨10.1007/978-3-030-86772-0_35⟩
Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex
Argumentation Frameworks with Higher-Order Attacks: Labellings and Complexity
32nd International Conference on Tools with Artificial Intelligence (ICTAI 2020), IEEE, Nov 2020, Chicago (virtual conference), United States. pp.1210-1217, ⟨10.1109/ICTAI50040.2020.00183⟩
Sylvie Doutre, Marie-Christine Lagasquie-Schiex
Formal Argumentation Frameworks for Deliberation in the Lack of Knowledge and Uncertainty
International Conference on Argumentation and Public Policy, Mar 2020, Wroclaw, Poland
Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex
A Distributed and Clustering-based Algorithm for the Enumeration Problem in Abstract Argumentation (JIAF 2020)
14èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2020), AFIA, 2020, Angers, France. pp.99-108
Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex
A Distributed and Clustering-Based Algorithm for the Enumeration Problem in Abstract Argumentation
22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2019), Oct 2019, Torino, Italy. pp.87-105, ⟨10.1007/978-3-030-33792-6_6⟩
Grzegorz Lisowski, Sylvie Doutre, Umberto Grandi
Aggregation in Value-Based Argumentation Frameworks
17th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019), Jul 2019, Toulouse, France. pp.313-331
Grzegorz Lisowski, Sylvie Doutre, Umberto Grandi
Preventing Manipulation in Aggregating Audiences in Value-Based Argumentation Frameworks
2nd International Workshop on Systems and Algorithms for Formal Argumentation, co-located with the 7th International Conference on Computational Models of Argument (SAFA 2018 @ COMMA), Sep 2018, Warsaw, Poland. pp.48-59
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
2nd Chinese Conference on Logic and Argumentation (CLAR 2018), Jun 2018, Hangzhou, China. pp.153-185, ⟨10.1007/978-981-13-7791-4_8⟩
Sylvie Doutre, Jean-Guy Mailly
Semantic Change in Abstract Argumentation
Second Workshop on Argument Strength / AMANDE Project Workshop, Apr 2018, Toulouse, France
Sylvie Doutre, Jean-Guy Mailly
Comparison Criteria for Argumentation Semantics
EUMAS 2017. 15th European Conference on Multi-Agent Systems, Dec 2017, Evry, France. pp.219-234
Argumentation et Explicabilité (Journée Explicabilité des Systèmes d’I.A. 2017)
Journée Explicabilité des Systèmes d’I.A. 2017, GDR IA, CRIL – CNRS UMR 8188, Université d’Artois, Lens, Dec 2017, Paris, France
Philippe Besnard, Victor David, Sylvie Doutre, Dominique Longin
Subsumption and Incompatibility between Principles in Ranking-based Argumentation
29th International Conference on Tools with Artificial Intelligence (ICTAI 2017), Nov 2017, Boston, MA, United States. pp.853-859, ⟨10.1109/ICTAI.2017.00133⟩
Sylvie Doutre, Jean-Guy Mailly
Semantic Change and Extension Enforcement in Abstract Argumentation
11th International Conference on Scalable Uncertainty Management (SUM 2017), Oct 2017, Granada, Spain. pp. 194-207
Sylvie Doutre, Jean-Guy Mailly
Dynamique des systèmes d’argumentation : changement de sémantique et forçage d’extension
11e Journées d’Intelligence Artificielle Fondamentale (IAF 2017), Jul 2017, Caen, France. pp.1-9
Philippe Besnard, Sylvie Doutre, Dominique Longin
Le système Sesame : Spécifier des sémantiques argumentatives
Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle (APIA 2017), Jul 2017, Caen, France. pp.1-4
Sylvie Doutre, Jean-Guy Mailly
Dynamique des systèmes d’argumentation : changement de sémantique et forçage d’extension (IAF 2017)
Journées d’Intelligence Artificielle Fondamentale (IAF 2017), Jul 2017, Caen, France. pp.1-9
Sylvie Doutre, Faustine Maffre, Peter Mcburney
A Dynamic Logic Framework for Abstract Argumentation: Adding and Removing Arguments
The 30th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2017), Jun 2017, Arras, France. pp. 295-305
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
A Dynamic Logic Framework for Abstract Argumentation
Dans : Cardiff Argumentation Forum (CAF2016, http://www.cs.cf.ac.uk/caf2016), Cardiff, 06/07/16-07/07/16 (conférencier invité).
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Caf16.html
BibTeXPhilippe Besnard, Sylvie Doutre, Van Hieu Ho, Dominique Longin
SESAME – A System for Specifying Semantics in Abstract Argumentation (regular paper)
Dans : International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016), Potsdam, Germany, 13/09/16, Vol. 1672, Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati (Eds.), CEUR-WS : Workshop proceedings, p. 40-51, septembre 2016.
Résumé Accès : http://ceur-ws.org/Vol-1672/paper_4.pdf – https://oatao.univ-toulouse.fr/17137/
BibTeXSylvie Doutre, Jean-Guy Mailly
Quantifying the Difference between Argumentation Semantic (short paper)
Dans : Computational models of argument (COMMA 2016), Potsdam, Germany, 14/09/16-16/09/16, Vol. 287, Pietro Baroni, Thomas F. Gordon, Tatjana Scheffler, Manfred Stede (Eds.), IOS Press, p. 255-262, septembre 2016.
Résumé Accès : http://ebooks.iospress.nl/publication/45265 – https://oatao.univ-toulouse.fr/17054/
BibTeXSylvie Doutre, Jean-Guy Mailly
How Different Are Two Argumentation Semantics?
Dans : Journées d’Intelligence Artificielle Fondamentale (JIAF), Montpellier, 15/06/16-17/06/16.
Accès : https://www.supagro.fr/jfpc_jiaf_2016/Articles.IAF.2016/Doutre_IAF_2016.pdf
BibTeXClaudette Cayrol, Sylvie Doutre, Marie-Christine Lagasquie-Schiex
GRAFIX: a Tool for Abstract Argumentation (short paper)
Dans : Computational models of argument (COMMA 2014), Pitlochry, 09/09/14-12/09/14, IOS Press, p. 453-454, septembre 2014.
Résumé Accès : http://dx.doi.org/10.3233/978-1-61499-436-7-453 – https://oatao.univ-toulouse.fr/13140/
BibTeXPhilippe Besnard, Sylvie Doutre, Andreas Herzig
Encoding Argument Graphs in Logic (regular paper)
Dans : International Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU 2014), Montpellier, France, 15/07/14-19/07/14, Vol. 443, Anne Laurent, Olivier Strauss, Bernadette Bouchon-Meunier, Ronald R. Yager (Eds.), Springer, Communications in Computer and Information Science, p. 345-354, 2014.
Résumé Accès : http://dx.doi.org/10.1007/978-3-319-08855-6_35 – https://oatao.univ-toulouse.fr/12983/
BibTeXSylvie Doutre, Andreas Herzig, Laurent Perrussel
A Dynamic Logic Framework for Abstract Argumentation (regular paper)
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2014), Vienna, 20/07/14-24/07/14, Chitta Baral, Giuseppe De Giacomo (Eds.), AAAI Press, p. 62-71, juillet 2014.
Sylvie Doutre, Laurent Perrussel
On Enforcing a Constraint in Argumentation
Dans : 11th European Workshop on Multi-Agent Systems (EUMAS 2013), Toulouse, 12/12/13-13/12/13.
Accès : http://www.irit.fr/EUMAS2013/Papers/eumas2013_submission_41.pdf
BibTeXCaroline Devred, Sylvie Doutre, Claire Lefèvre, Pascal Nicolas
Dialectical Proofs for Constrained Argumentation (regular paper)
Dans : Computational models of argument (COMMA 2010), Italy, 08/09/10-10/09/10, Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Guillermo R. Simari (Eds.), IOS Press, p. 159-170, septembre 2010.
Résumé Accès : http://www.booksonline.iospress.nl/Content/View.aspx?piid=18240
BibTeXLaurent Perrussel, Sylvie Doutre, Jean-Marc Thévenin
Negotiating offers: how arguing influences the result?
Dans : European Workshop on Multi-Agent Systems (EUMAS 2008), Bath, UK, 18/12/08-19/12/08, CEUR-WS : Workshop proceedings, (support électronique), décembre 2008.
Caroline Devred, Sylvie Doutre
Preuve dialectique dans les systèmes dargumentation à contrainte
Dans : Journées Nationales de l’IA Fondamentale, Paris, 21/10/08-23/10/08.
Résumé Accès : http://gdri3iaf.info.univ-angers.fr/IMG/pdf/devred-doutre.pdf
BibTeXTrevor Bench-Capon, Sylvie Doutre, Paul Dunne
Asking the right question: forcing commitment in examination dialogues
Dans : Computational models of argument (COMMA 2008), Toulouse, France, 28/05/08-30/05/08, Vol. 172, Ph. Besnard, S. Doutre, A. Hunter (Eds.), IOS Press, Frontiers in Artificial Intelligence and Applications, p. 49-60, mai 2008.
Caroline Devred, Sylvie Doutre
Dialectical Proof Theories for the Credulous Prudent Preferred Semantics of Argumentation
Dans : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), Hammamet, Tunisia, 31/10/07-02/11/07, K. Mellouli (Eds.), Springer-Verlag, LNAI 4724, p. 271-282, 2007.
Laurent Perrussel, Sylvie Doutre, Jean-Marc Thévenin, Peter McBurney
Un dialogue de persuasion pour l’accès et l’obtention d’informations
Dans : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 30/05/07-01/06/07, Vol. 8, Jérôme Lang, Yves Lespérance, David Sadek, Nicolas Maudet (Eds.), Annales du LAMSADE, p. 373-378, mai 2007.
Résumé Accès : http://www.irit.fr/publis/LILAC/PerrusselDoutreTheveninMcBurney_MFI07.pdf
BibTeXLaurent Perrussel, Sylvie Doutre, Jean-Marc Thévenin, Peter McBurney
A Persuasion Dialog for Gaining Access to Information
Dans : International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2007), Honolulu, Hawaii, USA, 15/05/07, Springer-Verlag, Lecture Notes in Computer Science 4946/2008, p. 63-79, 2007.
Résumé Accès : http://dx.doi.org/10.1007/978-3-540-78915-4_5
BibTeXSylvie Doutre, Peter McBurney, Laurent Perrussel, Jean-Marc Thévenin
Arguing for Gaining Access to Information
Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawai’i, 14/05/07-18/05/07, Onn Sheory, Michael Huhns (Eds.), The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 85-87, mai 2007.
Sylvie Doutre, Peter McBurney, Michael Wooldridge
Law-Governed Linda as a semantics for agent dialogue protocols
Dans : Fourth International Joint Conference on Autonomous Agents and Multi-agent Systems (AAMAS 2005), Utrecht University, The Netherlands, 25/07/05-29/07/05, -, p. 1257-1258, juillet 2005.
Paul Dunne, Sylvie Doutre, Trevor Bench-Capon
Discovering Inconsistency through Examination Dialogues (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, 30/07/05-05/08/05, International Joint Conference on Artificial Intelligence (IJCAI), p. 1680-1681, septembre 2005.
Résumé Accès : http://ijcai.org/Proceedings/05/Papers/post-0345.pdf
BibTeXSylvie Doutre, Trevor Bench-Capon, Paul Dunne
Explaining preferences with argument positions (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2005), Edinburgh, 30/07/05-05/08/05, International Joint Conference on Artificial Intelligence (IJCAI), p. 1560-1561, juillet 2005.
Résumé Accès : http://ijcai.org/Proceedings/05/Papers/post-0067.pdf
BibTeXSylvie Doutre, Trevor Bench-Capon, Paul Dunne
Determining Preferences through Argumentation
Dans : 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, 21/09/05-23/09/05, Stefania Bandini, Sara Manzoni (Eds.), LNAI 3673, Springer Verlag, p. 98-109, septembre 2005.
On sceptical vs. credulous acceptance for abstract argument systems
Dans : Proc. 10th Int. Workshop on Non-Monotonic Reasoning (NMR’2004), Whistler, Canada, 06/06/04-08/06/04.
Accès : http://www.pims.math.ca/science/2004/NMR/papers/paper18.pdf
BibTeXOn sceptical versus credulous acceptance for abstract argument systems
Dans : 9th european conference on logics in artificial intelligence(jelia 2004), lisbonne, 27/09/04-30/09/04, José Julio Alferes, Joao Leite (Eds.), Springer, Berlin, p. 462-473, septembre 2004.
Philippe Besnard, Sylvie Doutre
Checking the acceptability of a set of arguments
Dans : Proc. 10th Int. Workshop on Non-Monotonic Reasoning (NMR’2004), Whistler, Canada, 06/06/04-08/06/04.
Accès : ftp://ftp.irit.fr/pub/IRIT/ADRIA/BD_NMR04.pdf
BibTeXPhilippe Besnard, Sylvie Doutre
Characterization of semantics for argument systems
Dans : International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, Canada, 02/06/04-05/06/04, Didier Dubois, Chris Welty, Mary-Anne Williams (Eds.), AAAI Press, p. 183-193, juin 2004.
Philippe Besnard, Sylvie Doutre
Vérifier l’acceptabilité d’ensembles d’arguments
Dans : Journées Nationales sur les Modèles de Raisonnement (JNMR’03), Paris, 27/11/03-28/11/03.
Résumé Accès : http://www.cril.univ-artois.fr/~marquis/JNMR03/besnard-doutre.ps.gz
BibTeXClaudette Cayrol, Sylvie Doutre, Marie-Christine Lagasquie-Schiex, Jérôme Mengin
Minimal defence: a refinement of the preferred semantics for argumentation frameworks
Dans : Proc. of the 9th International Workshop on Non-Monotonic Reasoning (NMR’2002), Toulouse, France, 19/04/02-21/04/02.
Claudette Cayrol, Sylvie Doutre, Jérôme Mengin
Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks
Dans : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2001), Toulouse, 19/09/01-21/09/01, Springer-Verlag, LNAI 2143, p. 668-679, septembre 2001.
Preferred Extensions of Argumentation Frameworks: Query Answering and Computation
Dans : First International Joint Conference on Automated Reasoning, IJCAR 2001, Siena, Italy, 20/06/01-22/06/01, LNAI 2083 Springer, p. 272-288, juin 2001.
An algorithm that computes the preferred extensions of argumentation frameworks
Dans : (ECAI’2000) Third International Workshop on Computational Dialectics (CD’2000), Berlin, 20/08/00-25/08/00.
Un algorithme de calcul des extensions préférées dans les systèmes d’argumentation
Dans : Actes des Rencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA’2000), Lyon, 11/09/00-13/09/00, Marc Ayel et Jean-Marc Fouet, p. 103-112, septembre 2000.
Philippe Besnard, Sylvie Doutre, Anthony Hunter
Computational Models of Argument: Proceedings of COMMA 2008, Toulouse, France, 28/05/08 – 30/05/08, IOS Press, Frontiers in Artificial Intelligence and Applications ISBN 978-1-58603-859-5, mai 2008.
Résumé Accès : http://www.iospress.nl/loadtop/load.php?isbn=9781586038595
BibTeX
Ringo Baumann, Sylvie Doutre, Jean-Guy Mailly, Johannes Peter Wallner
Enforcement in Formal Argumentation
Dov Gabbay; Massimiliano Giacomin; Guillermo Simari; Matthias Thimm. Handbook of Formal Argumentation, Volume 2, 2, College Publications, 2021, 978-1-84890-336-4
Sylvie Doutre, Andreas Herzig, Laurent Perrussel
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
Beishui Liao; Thomas Ågotnes; Yi N. Wang. Dynamics, Uncertainty and Reasoning: The Second Chinese Conference on Logic and Argumentation, Springer Singapore, pp.153-185, 2019, Logic in Asia: Studia Logica Library book series (LIAA), 978-981-13-7790-7. ⟨10.1007/978-981-13-7791-4_8⟩
Autour de la sémantique préférée des systèmes d’argumentation
Thèse de doctorat, Université Paul Sabatier, décembre 2002.
Résumé Accès : http://www.irit.fr/publis/theses/TheseDoutre.ps.gz
BibTeX
Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Toulouse, 01/07/2019 – 03/07/2019
de Lima; Tiago and Doutre; Sylvie. Archives ouvertes HAL, 2019
Sylvie Doutre, Théo Duchatelle, Marie-Christine Lagasquie-Schiex
Visual Explanations for Defence in Abstract Argumentation
Noa Agmon; Bo An; Alessandro Ricci; William Yeoh. International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), May 2023, London, United Kingdom. IFAAMAS, Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, Poster Session I, pp.2346-2348, 2023, ⟨10.5555/3545946.3598929⟩
Sylvie Doutre, Mickaël Lafages, Marie-Christine Lagasquie-Schiex
Argumentation Frameworks with Higher-Order Attacks: Semantics and Complexity
17th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2020, Rhodes (virtual conference), Greece. 2020
Explainability for Argumentation
Workshop Explainability and Computable Law, 2022
Argumentation Reasoning
2019
Value-based argumentation as a framework for shaping and analysing public debates
2019
Dynamiser les amphis : Retour d’expérience du vote par l’approche “Bring Your Own Device
2017
Sylvie Doutre, Jean-Guy Mailly
Constraints and Changes in Argumentation: State of the Art and Challenges of Argumentation Dynamics
2017