https://www.cril.univ-artois.fr/feed.xml Le Centre de Recherche en Informatique de Lens (CRIL UMR 8188) est un laboratoire de l’Université d’Artois et du CNRS. Sa thématique de recherche fédératrice est l'intelligence artificielle et ses applications. Hugo fr Wed, 13 May 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/posts/2026-05-13-iclm26/ Wed, 13 May 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/posts/2026-05-13-iclm26/ Les papiers suivants seront présentés à la 43ème conférence internationale d’apprentissage automatique (International Conference on Machine Learning, ICML) en juillet 2026 : Evaluating Robustness of Reasoning Models on Parameterized Logical Problems Naïm Es-sebanni, Esteban Marquer, Yakoub Salhi, Zied Bouraoui Why Deep Jacobian Spectra Separate: Depth-Induced Scaling and Singular-Vector Alignment Nathanaël Haas, François Gatine, Augustin Cosse, Zied Bouraoui https://www.cril.univ-artois.fr/posts/2026-05-13-acl26/ Wed, 13 May 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/posts/2026-05-13-acl26/ Les papiers suivants seront présentés aux 64èmes rencontres internationales de l’association de linguistique computationnelle (Association for Computational Linguistics, ACL) en juillet 2026 : Credal Concept Bottleneck Models for Epistemic–Aleatoric Uncertainty Decomposition Tanmoy Mukherjee, Thomas Bailleux, Pierre Marquis, Zied Bouraoui Explanation Quality Assessment as Ranking with Listwise Rewards Thomas Bailleux, Tanmoy Mukherjee, Emmanuel Lonca, Pierre Marquis, Zied Bouraoui https://www.cril.univ-artois.fr/posts/2026-05-12-satcp26/ Tue, 12 May 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/posts/2026-05-12-satcp26/ Le papier suivant seront présentés à la 32ème conférence internationale sur les principes et les pratiques de la programmation par contraintes (CP'26) : Utility-Peak Itemset Mining with Constraint Programming Chaima Hamdi, Nadjib Lazaar, Nassim Belmecheri, Djawad Bekkoucha, Said Jabbour, Lakhdar Saïs Les papiers suivants sera présenté à la 29ème conférence internationale sur la théorie et les applications du test de cohérence (SAT'26) : decdnnf_rs: A framework for Querying d-DNNF Jean-Marie Lagniez, Emmanuel Lonca https://www.cril.univ-artois.fr/posts/2026-05-11-ijcai26/ Mon, 11 May 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/posts/2026-05-11-ijcai26/ Cette année, ce seront 7 papiers du CRIL qui seront présentés à IJCAI 2026 ! Compact Modeling in Constraint Programming with Hybrid Tables Christophe Lecoutre, Mouny Samy Modeliar, Gilles Audemard, Nicolas Paris and Nicolas Szczepanski gDMC: A Generic Distributed Model Counting Framework viaWork-Stealing Zhenghang Xu, Minghao Yin, Junping Zhou, Jean-Marie Lagniez Efficient Minimization of Decision-DNNF Circuits via Semantic Hashing and Provenance Tracking Armin Biere, Jean-Marie Lagniez, Emmanuel Lonca Splitting Meanings: A Unified View on Paraconsistency and Inconsistency Measurement https://www.cril.univ-artois.fr/seminars/2026-05-07-14-00-00-seminary/ Thu, 07 May 2026 14:00:00 +0200 https://www.cril.univ-artois.fr/seminars/2026-05-07-14-00-00-seminary/ L’IA a fait son entréedans l’administration de la justice dans plusieurs États, à l’échelle mondiale. Divers outils recourant à des techniques d’IA sont développés et déployés au sein des cours et des tribunaux pour la gestion des procédures, la recherche juridique, l’interprétationet la prédiction juridique ou encore l’aide à décision judiciaire. D’un côté, l’IA est une technologie puissante qui offre de réelles perspectives en vue de soutenir et renforcer l’accès à la justice. https://www.cril.univ-artois.fr/posts/2026-04-30-kr26/ Thu, 30 Apr 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/posts/2026-04-30-kr26/ Les papiers suivants seront présentés à la 23ème conférence internationale sur la représentation des connaissances et raisonnements (KR'26) : Main track Counting Complexity of ASP M. Bannach, J. Fichte, J. Groven, M. Hecher Expressiveness of Epistemic Spaces for Iterated Belief Change Operators N. Schwind, S. Konieczny, R. Perez Truth-Tracking by Iterated Belief Change N. Schwind, P. Everaere, S. Konieczny Belief Function Propagation in Quantitative Bipolar Argumentation Frameworks J. Thieyre, A. Beynier, S. https://www.cril.univ-artois.fr/seminars/2026-04-09-14-00-00-seminary/ Thu, 09 Apr 2026 14:00:00 +0200 https://www.cril.univ-artois.fr/seminars/2026-04-09-14-00-00-seminary/ Les solveurs neuronaux constructifs produisent des tournées de véhicules de bonne qualité en construisant les routes étape par étape, mais leur processus de décision reste opaque : à chaque étape, le modèle choisit un nœud sans rendre explicite quelles variables ont dominé, quelles contraintes ont orienté ce choix, ni quelle modification minime de l'entrée aurait pu l'inverser. Ce séminaire présente un cadre d'explication locale post-hoc développé pour le Multi-Attribute VRP, un problème de routage sous contraintes hétérogènes combinant differents types de contraintes dont les combinaisons actives définissent plusieurs signatures distinctes. https://www.cril.univ-artois.fr/posts/2026-04-07-srdjan-vesic-invited-speaker/ Tue, 07 Apr 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/posts/2026-04-07-srdjan-vesic-invited-speaker/ Srdjan Vesic sera invited speaker à la septième Summer School on Arguemntation (SSA 2026) qui se tiendra à Barcelone du 9 au 13 septembre 2026. https://www.cril.univ-artois.fr/seminars/2026-04-02-14-00-00-seminary/ Thu, 02 Apr 2026 14:00:00 +0200 https://www.cril.univ-artois.fr/seminars/2026-04-02-14-00-00-seminary/ In this talk, we are going to discuss what happens once you have a problem that is big to solve by hand, and you need to solve it with an automated solver. We'll discuss the three main approaches: trusting the solver's output, using verified solvers, and obtaining and checking certificates and how my work touches all three aspects.  https://www.cril.univ-artois.fr/seminars/2026-03-26-14-00-00-seminary/ Thu, 26 Mar 2026 14:00:00 +0100 https://www.cril.univ-artois.fr/seminars/2026-03-26-14-00-00-seminary/