Valda — Value from data
Article accepted to ToCS
Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart. Evaluating Datalog via Tree Automata and Cycluits. Theory of Computing Systems.
Two articles accepted to ICDT 2019
Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo and Federico Ulliana. On Chase Termination for Linear Existential Rules. Silviu Maniu, Pierre Senellart and Suraj Jog. An Experimental Study of the Treewidth of Real-World Graph Data.
Valda Seminar: Jill-Jênn Vie
Jill-Jênn Vie, RIKEN AIP (Tokyo) 21 December 2018, 10:30-11:30 ENS, S16 Knowledge Tracing Machines – Factorization Machines for Knowledge Tracing Knowledge tracing is a sequence prediction problem where the goal is to predict the outcomes of students over questions as they are interacting with a learning platform. By tracking the…
Valda Seminar: David Carral
David Carral, TU Dresden 14 December 2018, 10:30-11:30 ENS, S16 Reasoning over Existential Rules with Acyclicity Notions The chase is a sound and complete (albeit non-terminating) algorithm for conjunctive query answering over ontologies of existential rules. On the theoretical side, we develop sufficient conditions to guarantee its termination (i.e., acyclicity…