44
Publications
2.5K
Citations
25
H-Index
1998
Active since
Sébastien Konieczny is an author at Centre de Recherche en Informatique specializing in automated reasoning, engineering, and computer science.
Top concepts
Automated ReasoningEngineeringComputer ScienceFormal MethodsSemanticsLanguageLinguisticsFormal VerificationVerificationBelief Revision
Publications per year
1998–2020
44
44
Sébastien Konieczny, Ramón Pino Pérez · 1998 · 250 citations
Sébastien Konieczny, Jérôme Lang, Pierre Marquis · Artificial Intelligence · 2004 · 161 citations
On the merging of Dung's argumentation systems
Sylvie Coste-Marquis, Caroline Devred, Sébastien Konieczny et al. · Artificial Intelligence · 2007 · 156 citations
Rows per page
1–5 of 44