Sylvie Coste-Marquis

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Rectifying Mono-Label Boolean Classifiers.

[BibT_eX]

[DOI]

CoRR, 2022

2021

On Belief Change for Multi-Label Classifier Encodings.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2015

Extension Enforcement in Abstract Argumentation as an Optimization Problem.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

On the Revision of Argumentation Systems: Minimal Change of Arguments Statuses.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

A Translation-Based Approach for Revision of Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2012

Weighted Attacks in Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Selecting Extensions in Weighted Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Computational Models of Argument, 2012

2009

Handling controversial arguments.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2009

2008

Recovering Consistency by Forgetting Inconsistency.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2007

On the merging of Dung's argumentation systems.

[BibT_eX]

[DOI]

Marie-Christine Lagasquie-Schiex

Sébastien Konieczny

Artif. Intell., 2007

2006

Complexity Results for Quantified Boolean Formulae Based on Complete Propositional Languages.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2006

Representing Policies for Quantified Boolean Formulae.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Constrained Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

2005

A Branching Heuristics for Quantified Renamable Horn Formulas.

[BibT_eX]

[DOI]

Daniel Le Berre

Florian Letombe

Proceedings of the Theory and Applications of Satisfiability Testing, 2005

Inference from Controversial Arguments.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2005

Prudent Semantics for Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005

Symmetric Argumentation Frameworks.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

On the Complexity of Paraconsistent Inference Relations.

[BibT_eX]

[DOI]

Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005

Merging Argumentation Systems.

[BibT_eX]

[DOI]

Marie-Christine Lagasquie-Schiex

Sébastien Konieczny

Proceedings of the Proceedings, 2005

Propositional Fragments for Knowledge Compilation and Quantified Boolean Formulae.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

On Stratified Belief Base Compilation.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

Expressive Power and Succinctness of Propositional Languages for Preference Representation.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2002

Complexity Results for Paraconsistent Inference Relations.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001

Knowledge Compilation for Closed World Reasoning and Circumscription.

[BibT_eX]

[DOI]

J. Log. Comput., 2001

2000

Compiling Stratified Belief Bases.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

1999

Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1996

Using decision trees to construct optimal acoustic cues.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Spoken Language Processing, 1996

1994

Interaction between most reliable acoustic cues and lexical analysis.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Spoken Language Processing, 1994

Hypothetical Reasoning for Automatic Recognition of Continuous Speech.

[BibT_eX]