Working Group: Knowledge Representations and Reasoning

Leader(s)

Jean Lieber

Mailing list

In order to get information about the WG activities, you can subscribe to its mailing list at https://sympa.inria.fr/sympa/info/mosaik-rc-et-r.

Description

This working group aims to discuss the question of how a system can integrate an inference engine based on explicitly represented knowledge. Such a system is capable of reasoning, where reasoning here is taken in a broad sense: deductive reasoning (i.e. reasoning such that certain premises lead to certain conclusions) or hypothetical reasoning (aka non deductive / non monotonic / defeasible reasoning, including potentially inductive generalization, abduction, analogy and case-based reasoning). The strategic objective of this group is to enhance collaborations on this issue within the team on various reasoning approaches and various representation formalisms.

Members

  • Aridhi, Sabeur
  • Bannay, Aurélie
  • Boudjeloud-Assala, Lydia
  • Cruz-Lara, Samuel
  • D’Aquin, Mathieu
  • Daudre-Treuil, Prunelle
  • Gely, Alain
  • Gendron, Barbara
  • Hamadouche, Toufik
  • Langlois, David
  • Lieber, Jean
  • Mecharnia, Thamer
  • Nauer, Emmanuel
  • Parmentier, Yannick
Back to top