21
Publications
2K
Citations
16
H-Index
1985
Active since
Claudette Cayrol is an author at Université Toulouse III - Paul Sabatier specializing in automated reasoning, engineering, and argument mining.
Top concepts
EngineeringAutomated ReasoningArgument MiningLanguageLinguisticsSemanticsArgumentationFormal MethodsComputer ScienceFormal Verification
Publications per year
1985–2020
21
21
Inconsistency management and prioritized syntax-based entailment
Salem Benferhat, Claudette Cayrol, Didier Dubois et al. · 1993 · 357 citations · Full text
Rows per page
1–5 of 21