Vincent Risch

Maître de Conférences, Aix-Marseille Université

Research topics :

  • logics, nonmonotonic reasoning
  • automated deduction
  • knowledge representation
  • formal theory of argumentation





Research adress


LSIS, UMR CNRS 7296
Equipe InCA
Campus de Saint-Jérôme
Université Paul Cézanne
Avenue Escadrille Normandie-Niemen
13397 Marseille Cedex 20

Teaching adress


Département d'informatique
Institut Universitaire de Technologie
Aix-Marseille Université
Avenue Gaston Berger
13625 Aix-en-Provence Cedex 1

e-mail


vincent.risch (at) univ-amu.fr


I am a member of the InCA team at the Laboratoire des Sciences de l'Information et des Systèmes (LSIS). My current research interest concerns the construction of a calculus for X-logics, and its application to formal argumentation. A list of my publications as well as some of my earlier papers can be found here. Documents related to my teaching activities (in French) are here.

Argutia is an experimental software developped by Geoffroy Aubry from our joint work on argumentation. It enables the computation of new arguments by two formal agents facing each other. The software is freely downloadable from here.