Sylvie Doutre

Orcid: 0000-0002-3472-2349

Affiliations:
  • IRIT, Toulouse, France


According to our database1, Sylvie Doutre authored at least 46 papers between 2001 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
<i>RAFDivider</i> : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks.
J. Appl. Non Class. Logics, October, 2023

Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard.
J. Appl. Non Class. Logics, October, 2023

Generic logical encoding for argumentation.
J. Log. Comput., April, 2023

Paraconsistent inference relations induced from inconsistency measures.
Int. J. Approx. Reason., 2023

How to combine models? Principles and mechanisms to aggregate fuzzy cognitive maps.
Proceedings of the Winter Simulation Conference, 2023

Classes of Explanations for the Verification Problem in Abstract Argumentation.
Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

Visual Explanations for Defence in Abstract Argumentation.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022
Explaining Semantics and Extension Membership in Abstract Argumentation.
Intell. Syst. Appl., 2022

Towards Algorithms for Argumentation Frameworks with Higher-order Attacks.
Int. J. Artif. Intell. Tools, 2022

Computing the Labellings of Higher-Order Abstract Argumentation Frameworks.
Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

2021
Enforcement in Formal Argumentation.
FLAP, 2021

Inducing Inference Relations from Inconsistency Measures.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021

2020
Argumentation Frameworks with Higher-Order Attacks: Labellings and Complexity.
Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

2019
Aggregation in Value-Based Argumentation Frameworks.
Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019

A Distributed and Clustering-Based Algorithm for the Enumeration Problem in Abstract Argumentation.
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

2018
Constraints and changes: A survey of abstract argumentation dynamics.
Argument Comput., 2018

Preventing Manipulation in Aggregating Audiences in Value-Based Argumentation Frameworks.
Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), 2018

Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change.
Proceedings of the Dynamics, 2018

2017
Semantic Change and Extension Enforcement in Abstract Argumentation.
Proceedings of the Scalable Uncertainty Management - 11th International Conference, 2017

A Dynamic Logic Framework for Abstract Argumentation: Adding and Removing Arguments.
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

Subsumption and Incompatibility between Principles in Ranking-Based Argumentation.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

Comparison Criteria for Argumentation Semantics.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

Le système Sesame : Spécifier des sémantiques argumentatives.
Proceedings of the 3ème Conférence Nationale sur les Applications Pratiques de l'Intelligence Artificielle, 2017

2016
Quantifying the Difference Between Argumentation Semantics.
Proceedings of the Computational Models of Argument, 2016

SESAME - A System for Specifying Semantics in Abstract Argumentation.
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), 2016

2014
A Dynamic Logic Framework for Abstract Argumentation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Encoding Argument Graphs in Logic.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

GRAFIX: a Tool for Abstract Argumentation.
Proceedings of the Computational Models of Argument, 2014

2010
Dialectical Proofs for Constrained Argumentation.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

2008
Asking the right question: forcing commitment in examination dialogues.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008

2007
Audiences in argumentation frameworks.
Artif. Intell., 2007

Dialectical Proof Theories for the Credulous Prudent Preferred Semantics of Argumentation.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Arguing for gaining access to information.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

A Persuasion Dialog for Gaining Access to Information.
Proceedings of the Argumentation in Multi-Agent Systems, 4th International Workshop, 2007

2005
Discovering Inconsistency through Examination Dialogues.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Explaining preferences with argument positions.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Law-governed Linda as a semantics for agent dialogue protocols.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Determining Preferences Through Argumentation.
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004
On sceptical vs credulous acceptance for abstract argument systems.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Checking the acceptability of a set of arguments.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Characterization of Semantics for Argument Systems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

On Sceptical Versus Credulous Acceptance for Abstract Argument Systems.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

2003
On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks.
J. Log. Comput., 2003

2002
"Minimal defence": a refinement of the preferred semantics for argumentation frameworks.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

2001
Dialectical Proof Theories for the Credulous Preferred Semantics of Argumentation Frameworks.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

Preferred Extensions of Argumentation Frameworks: Query Answering and Computation.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001


  Loading...