Sylvain Lagrue

Statistics

Publications

Citations

157

H-Index

Active since

2003

Affiliations

Centre National de la Recherche Scientifique(Current)

Université d'Artois

Université Lille Nord de France

Sylvain Lagrue is an author at Centre National de la Recherche Scientifique specializing in automated reasoning, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningSemanticsData ScienceFormal VerificationGamesBusinessLanguage

Publications per year

2003–2019

Publications

Reasoning with partially ordered information in a possibilistic logic framework

Salem Benferhat, Sylvain Lagrue, Odile Papini · Fuzzy Sets and Systems · 2003 · 56 citations · Full text

Non-classical Logic, Probability Logic, Engineering +8

Revision of Partially Ordered Information : Axiomatization, Semantics and Iteration

Salem Benferhat, Sylvain Lagrue, Odile Papini · HAL (Le Centre pour la Communication Scientifique Directe) · 2005 · 32 citations

Engineering, Well-founded Semantics, Higher-order Logic +17

A BIG-STEPPED PROBABILITY APPROACH FOR DISCOVERING DEFAULT RULES

Salem Benferhat, Didier Dubois, Sylvain Lagrue et al. · International Journal of Uncertainty Fuzziness and Knowledge-Based Systems · 2003 · 18 citations

Genuine Default Rules, Engineering, Semantics +17

A lexicographic inference for partially preordered belief bases

Sadok Ben Yahia, Salem Benferhat, Sylvain Lagrue et al. · 2008 · 16 citations

Constraint-Based Symmetry Detection in General Game Playing

Frédéric Koriche, Sylvain Lagrue, Éric Piette et al. · 2017 · 14 citations · Full text

Artificial Intelligence, Mathematical Programming, Game Ai +22

Rows per page

1–5 of 7