Nov 28, 2024  Séminaire de Damien SILEO - Inria, Lille

Improving large langauge models reasoning with adaptive formal reasoning datasets

2:00 pm

Nov 21, 2024  Séminaire de Alexandre Dubray - UC Louvain 

Modeling and Solving Probabilistic Inference Model with Projected Weighted Model Counting

2:00 pm

Nov 7, 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.

2:00 pm

Oct 9, 2024  Conférence Sébastien Konieczny (CRIL) – EurAI Fellow 2024

Changement de croyances et états épistémiques

2:00 pm

Sep 5, 2024  Séminaire de Esteban Marquer - Loria, Nancy. 

Operationalizing analogical proportions in embedding spaces using deep learning

2:00 pm

Jun 20, 2024  Séminaire de Arthur Ledaguenel - IRT SystemX

Neural Classification Informed by Prior Knowledge

2:00 pm

May 16, 2024  Séminaire de Harry Vinall-Smeeth, TU Ilmenau, Germany

Knowledge Compilation, Rectangles and Lower Bounds

2:00 pm

Apr 4, 2024  Séminaire de Guillaume Lagarde : Université de Bordeaux, LaBRI

Scaling Neural Program Synthesis with Distribution-based Search

2:00 pm • Salle des thèses

Feb 29, 2024  Séminaire de Vincent Derkinderen KU Leuven

ProbLog: Harnessing Knowledge Compilation for Probabilistic Inference in AI

2:00 pm

Feb 22, 2024  Séminaire Emmanuel Lonca, CRIL. 

Clustercril v2024: CRIL cluster, Slurm & good practices

2:00 pm

Dec 14, 2023  Séminaire de Celine Hocquette, Oxford University, UK

Inductive learning of logic programs

2:00 pm • Salle des thèses

Nov 16, 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

1:00 pm

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

Querying Circumscribed Description Logic Knowledge Bases

2:00 pm

Oct 12, 2023  Séminaire autour du projet MAIA

Présentation du projet MAIA

2:00 pm

Jul 17, 2023  Séminaire de Kuldeep Meel - University of Toronto

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

2:30 pm

Jun 22, 2023  Séminaire d'Emiliano Lorini - IRIT Toulouse

A Rule-based Modal View of Causal Reasoning

10:00 am

May 25, 2023  Séminaire de Paulius Dilkas

Synthesising Recursive Functions for First-Order Model Counting

2:00 pm

May 11, 2023  Séminaire de Daniel Le Berre - CRIL Univ Artois & CNRS

Logiciel de recherche : valorisation sous licence libre

2:00 pm

May 4, 2023  Séminaire de Sara Riva - Université de Bordeaux

Synthesis and Reprogramming of Boolean networks: a QBF problem

2:00 pm

Apr 6, 2023  Séminaire de Moncef Garouani - EILCO /ULCO University - LISIC Laboratory

Big industrial data mining through explainable automated machine learning

2:00 pm

Mar 23, 2023  Séminaire de Chahrazed LABBA - Loria - Université de Lorraine

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

2:00 pm

Mar 20, 2023  Séminaire de Sami Cherif - Université d'Aix Marseille

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

2:00 pm

Mar 16, 2023  Séminaire de Bruno YUN, University of Aberdeen, UK

Exploring Inverse Problems for Gradual Semantics in Argumentation

3:30 pm

Mar 16, 2023  Séminaire de Wissem Inoubli, LORIA Lab, KIT

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

2:00 pm

Mar 9, 2023  Séminaire de Nejat Arinik - INRAE

Multiplicité dans le partitionnement de graphes signés

2:00 pm