Offre en lien avec l’Action/le Réseau : RoCED/– — –
Laboratoire/Entreprise : INRIA/LIRMM
Durée : 3 ans
Contact : david.carral@inria.fr
Date limite de publication : 2022-07-31
Contexte :
This PhD proposal is funded by the bilateral project R4Agri (https://www.dfki.de/en/web/news/ai-supported-decision-making-systems-for-agriculture-german-french-project-r4agri-launched). 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 :
https://www-sop.inria.fr/members/David.Carral/files/r4agri-phd-topic.pdf
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
Montpellier
Document attaché : 202205190832_r4agri-phd-topic.pdf