I'm professor of computer science in university of Angers (France) and member of research laboratory LERIA. I'm particularly involved in research about Answer Set Programming. Topics of my works are :

Solver for ASP

We develop a first order rule based solver ASPeRiX.

Quantified Boolean Formulas

From Quantified Boolean Formulas to Answer Set Programming. (here)

Uncertainty and non monotonic reasoning.

Possibilistic Uncertainty Handling for Answer Set Programming, AMAIjune 2006

Possibilistic Stable Models, IJCAI 2005

posSmodels : software for computing possibilistic stable models

Metaheuristics for non monotonic reasoning

Answer Set Programming by Ant Colony Optimization, JELIA 2002

Heuristics for a Default Logic Reasoning System, IJAIT 2001

Induction of non monotonic theories

Representation of Incomplete Knowledge by Induction of Default Theories, LPNMR 2001

Question answering in default logics

The XRay system : An implementation platform for local query-answering in default logics. , in Applications of Uncertainty Formalisms, LNCS (1455), Springer.