PhD Position on Datalog Reasoning – INRIA/LIRMM

31/07/2022 – 01/08/2022 all-day

Offre en lien avec l’Action/le Réseau : RoCED/– — –

Laboratoire/Entreprise : INRIA/LIRMM
Durée : 3 ans
Contact :
Date limite de publication : 2022-07-31

Contexte :
This PhD proposal is funded by the bilateral project R4Agri ( The goal of the projet is to carry fundamental research on hybrid IA techniques which will have later a potential for technological transfert, in particular in the context for automatized agronomy.

Sujet :
The topic of the PhD revolves around Datalog reasoning on Knowledge Graphs. Targeted issues include explanations and probabilistic reasoning.

Profil du candidat :
The ideal candidate for this position has a strong interest in symbolic AI, together with solid skills in theoretical computer science. A background on programming is also very much appreciated.

Topic description :

Formation et compétences requises :
Technical topics include (among others) first order logic, symbolic reasoning, and databases.

Adresse d’emploi :
Inria Montpellier
860 Rue de St – Priest

Document attaché : 202205190832_r4agri-phd-topic.pdf