12.12.2024  Séminaire de Carlos Aguilera Ventura - IRIT 

Minimal Change in Modal Logic S5

14:00 • Salle G201

28.11.2024  Séminaire de Damien SILEO - Inria, Lille

Improving large langauge models reasoning with adaptive formal reasoning datasets

14:00

21.11.2024  Séminaire de Alexandre Dubray - UC Louvain 

Modeling and Solving Probabilistic Inference Model with Projected Weighted Model Counting

14:00

07.11.2024  Séminaire de Francine Monchau , Olivier Carpentier et Nabil HIHAT - LGI2A -

Analyse d’une chaine numérique pour développement de dispositifs médicaux implantables adaptatifs réalisés par fabrication additive.

14:00

09.10.2024  Conférence Sébastien Konieczny (CRIL) – EurAI Fellow 2024

Changement de croyances et états épistémiques

14:00

05.09.2024  Séminaire de Esteban Marquer - Loria, Nancy. 

Operationalizing analogical proportions in embedding spaces using deep learning

14:00

20.06.2024  Séminaire de Arthur Ledaguenel - IRT SystemX

Neural Classification Informed by Prior Knowledge

14:00

16.05.2024  Séminaire de Harry Vinall-Smeeth, TU Ilmenau, Germany

Knowledge Compilation, Rectangles and Lower Bounds

14:00

04.04.2024  Séminaire de Guillaume Lagarde : Université de Bordeaux, LaBRI

Scaling Neural Program Synthesis with Distribution-based Search

14:00 • Salle des thèses

29.02.2024  Séminaire de Vincent Derkinderen KU Leuven

ProbLog: Harnessing Knowledge Compilation for Probabilistic Inference in AI

14:00

22.02.2024  Séminaire Emmanuel Lonca, CRIL. 

Clustercril v2024: CRIL cluster, Slurm & good practices

14:00

14.12.2023  Séminaire de Celine Hocquette, Oxford University, UK

Inductive learning of logic programs

14:00 • Salle des thèses

16.11.2023  Séminaire de Khaled Belahcene, MICS, CentraleSupélec, Paris-Saclay University, France

Raisonnement et explications pour les modèles robustes de préférences redistributives

13:00

02.11.2023  Séminaire de Quentin Manière, Department of Computer Science, ScaDS.AI, Leipzig University, Germany

Querying Circumscribed Description Logic Knowledge Bases

14:00

12.10.2023  Séminaire autour du projet MAIA

Présentation du projet MAIA

14:00

17.07.2023  Séminaire de Kuldeep Meel - University of Toronto

Distinct Elements in Streams: An Algorithm for the (Text) Book.

14:30

22.06.2023  Séminaire d'Emiliano Lorini - IRIT Toulouse

A Rule-based Modal View of Causal Reasoning

10:00

25.05.2023  Séminaire de Paulius Dilkas

Synthesising Recursive Functions for First-Order Model Counting

14:00

11.05.2023  Séminaire de Daniel Le Berre - CRIL Univ Artois & CNRS

Logiciel de recherche : valorisation sous licence libre

14:00

04.05.2023  Séminaire de Sara Riva - Université de Bordeaux

Synthesis and Reprogramming of Boolean networks: a QBF problem

14:00

06.04.2023  Séminaire de Moncef Garouani - EILCO /ULCO University - LISIC Laboratory

Big industrial data mining through explainable automated machine learning

14:00

23.03.2023  Séminaire de Chahrazed LABBA - Loria - Université de Lorraine

L’Apprentissage Centralisé et l’Apprentissage Distribué : Avantages à Saisir et Défis à Relever

14:00

20.03.2023  Séminaire de Sami Cherif - Université d'Aix Marseille

Raisonnement et inférence pour la satisfiabilité (maximum)

14:00

16.03.2023  Séminaire de Bruno YUN, University of Aberdeen, UK

Exploring Inverse Problems for Gradual Semantics in Argumentation

15:30

16.03.2023  Séminaire de Wissem Inoubli, LORIA Lab, KIT

L'apprentissage de représentation de graphes : opportunités et défis

14:00