https://www.cril.univ-artois.fr/en/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 en Mon, 15 Jun 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/en/posts/2026-05-19-essai26/ Tue, 19 May 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/en/posts/2026-05-19-essai26/ The following courses will be given by members of CRIL during the European Summer School on Artificial Intelligence from July 6 to July 10 in Vienna, Austria. Knowledge Compilation: Theory, Practice, and Applications Johannes Fichte (Linköping University), Jean-Marie Lagniez From In-Context Learning to Neuro-Symbolic Reasoning with Large Reasoning Models Zied Bouraoui, Tanmoy Mukherjee https://www.cril.univ-artois.fr/en/posts/2026-05-13-iclm26/ Wed, 13 May 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/en/posts/2026-05-13-iclm26/ The following papers will be presented at the Forty-Third International Conference on Machine Learning in July 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/en/posts/2026-05-13-acl26/ Wed, 13 May 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/en/posts/2026-05-13-acl26/ The following papers will be presented at the 64rd Annual Meeting of the Association for Computational Linguistics (ACL'26) in July 2026 taking place in San Diego, California: 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/en/posts/2026-05-12-satcp26/ Tue, 12 May 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/en/posts/2026-05-12-satcp26/ The following paper will be presented at the 32nd International Conference on Principles and Practice of Constraint Programming (CP'26): Utility-Peak Itemset Mining with Constraint Programming Chaima Hamdi, Nadjib Lazaar, Nassim Belmecheri, Djawad Bekkoucha, Said Jabbour, Lakhdar Saïs The following papers will be presented at the 29th International Conference on Theory and Applications of Satisfiability Testing (SAT'26): decdnnf_rs: A framework for Querying d-DNNF Jean-Marie Lagniez, Emmanuel Lonca A canonical generalization of OBDD* https://www.cril.univ-artois.fr/en/posts/2026-05-11-ijcai26/ Mon, 11 May 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/en/posts/2026-05-11-ijcai26/ This year, there will be 7 papers from CRIL presented at 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/en/posts/2026-04-30-kr26/ Thu, 30 Apr 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/en/posts/2026-04-30-kr26/ The following papers will be presented at the 23rd International Conference on Principles of Knowledge Representation and Reasoning (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. https://www.cril.univ-artois.fr/en/posts/2025-12-01-aaai26/ Mon, 01 Dec 2025 00:00:00 +0000 https://www.cril.univ-artois.fr/en/posts/2025-12-01-aaai26/ The following papers will be presented at the 40th Annual AAAI Conference on Artificial Intelligence (AAAI'26) : Aperiodic Tiling and Rhythmic Canons: A CP Journey Guillaume Derval, Christophe Lecoutre* Generalizing Analogical Inference from Boolean to Continuous Domains Francisco Cunha, Yves Lepage, Miguel Couceiro, Zied Bouraoui. Targeting in Multi-Criteria Decision Making Nicolas Schwind, Patricia Everaere, Sébastien Konieczny, Emmanuel Lonca Truth-Tracking Evaluation in Opinion-Based Argumentation Juliete Rossie, Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic https://www.cril.univ-artois.fr/en/posts/2025-09-15-bestpapericlp25/ Mon, 15 Sep 2025 00:00:00 +0000 https://www.cril.univ-artois.fr/en/posts/2025-09-15-bestpapericlp25/ We’re excited to announce that Alexander Beiser (TU Wien), Markus Hecher (Univ. Artois, CNRS), and Stefan Woltran (TU Wien) won the Best Student Paper award at 41st International Conference on Logic Programming (ICLP 2025) in Rende, Italy. Their paper " on Automated Hybrid Grounding Using Structural and Data-Driven Heuristics" advances the long-standing “grounding bottleneck” in Answer Set Programming (ASP). The method decides—based on rule structure and data-aware estimation—when to use body-decoupled grounding and when to rely on standard bottom-up grounding. https://www.cril.univ-artois.fr/en/posts/2025-07-25-uai25/ Fri, 25 Jul 2025 00:00:00 +0000 https://www.cril.univ-artois.fr/en/posts/2025-07-25-uai25/ The following paper received a best paper award at the 41st Conference on Uncertainty in Artificial Intelligence (UAI) in July 2025: Frédéric Koriche, Jean-Marie Lagniez, Chi Tran: Probabilistic Explanations for Regression Models PDF https://www.cril.univ-artois.fr/en/posts/2025-07-17-ecai25/ Fri, 18 Jul 2025 00:00:00 +0000 https://www.cril.univ-artois.fr/en/posts/2025-07-17-ecai25/ The following papers will be presented at the 28th European Conference on Artificial Intelligence (ECAI'25): Probabilistic Belief Update When Inputs are Uncertain: The Inverse Problem Perspective Karim Tabia Uncertainty in quantitative bipolar argumentation frameworks Jordan Thieyre, Caren Al Anaissy, Aurélie Beynier, Sébastien Destercke, Nicolas Maudet and Srdjan Vesic