[DL] Funded PhD position available at Inria Lille on logic reasoning and querying data

[Antoine Amarilli]

Dear DL mailing-list,

Inria Lille in France currently has funding for a PHD position on Explanations
and circuits for logic reasoning and querying data, to work with Pierre Bourhis,
co-supervised by Antoine Amarilli.
 
The objectives of this PhD are to study different problems related to the
explanation of logical reasoning in different contexts: the explication of
querying databases, the inference of data via logical rules or the execution of
programs defined via logical rules such as data-centric workflows. The PhD has
for goal to study these problems by doing a state of the art related to the
problems, then by developing some new methods of explanations which should be
validated in different applications.
 
More information and application on the INRIA job offers Web site:
https://jobs.inria.fr/public/classic/en/offres/2022-04484
The deadline for applications is April 8th.
 
Best,
 
-- 
Antoine Amarilli, Telecom Paris
 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: not available
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20220316/b93aa5cb/attachment.sig>