Recherche

** Second-Order SLD-Resolution in Meta-Interpretive Learning ** Inductive Logic Programming (ILP) is the field that studies approaches to the machine

/Exposé en anglais/Talk in english/ The Maker-Breaker game is played on a hypergraph H. Maker and Breaker take turns coloring vertices of H, in red

On the verification of concurrent programs under weak consistency and persistency Concurrent programs are running over data storage infrastructures

/Exposé en anglais/Talk in english/ Twin-width is a graph invariant recently introduced by Bonnet, Kim, Thomassé and Watrigant [FOCS'20]. The core

/Exposé en anglais/Talk in english/ Tree decompositions are a powerful tool in structural graph theory; they are traditionally used in the context of

A Finite Discrete-time Dynamical System (DDS) consists of a finite set X, called state space, and a function f, called next-state map (which

/Exposé en anglais/Talk in english/ Tree decompositions are a powerful tool in structural graph theory; they are traditionally used in the context of