>
Laurence Cholvy
(last update January 2010)
Maître de Recherches,
ONERA Centre de Toulouse.
Information Modelling Department (DTIM)
email : Firstname.Lastname@cert.fr
Research Activities
Using Logics for:
Information Fusion: information evaluation, logical approach to Dempster_Shafer's Theory
Reasoning with Inconsistency: information base updates,
Consistency Restoration
Normative Reasoning: Normative conflicts, regulations consistency,
Contrary-To-Duties, Collective obligations, regulations completeness.
Multi-agents: Reasoning with Goals, Preferences, Ability, Actions,
Relevant information.
Nonclassical Answers Generation: Safe answers, Intensional answers.
Publications