Jeremy Bouche-Pillon, Nathalie Aussenac-Gilles, Yannick Chevalier, Pascale Zarate. Decision Support in Law: From Formalizing Rules to Reasoning with Justification. JURIX 2024: The Thirty-seventh Annual Conference, Jaromir Savelka; Jakub Harasta; Tereza Novotna; Jakub Misek, Dec 2024, Brno, Czech Republic. ⟨10.3233/faia241231⟩. ⟨hal-04828125⟩

Christel Grimaud, Dominique Longin, Andreas Herzig. SNN-Based Online Learning of Concepts and Action Laws in an Open World. 2024. ⟨hal-04779695⟩

Emmanuel Adam, Thomas Guyet, Benoit Le Blanc, Dominique Longin, Nadia Abchiche-Mimouni, et al.. Conférence Nationale d’Intelligence Artificielle Année 2024. Association Française pour l'Intelligence Artificielle, 2024. ⟨hal-04748891⟩

Philippe Balbiani, Quentin Gougeon, Tinko Tinchev. Logics for Contact and Measure. Journal of Logic and Computation, 2024. ⟨hal-04544145v3⟩

Philippe Balbiani, Hans van Ditmarsch. Towards Dynamic Distributed Knowledge. 15th Advances in Modal Logic (AiML 2024), Institute of Computer Science of the Czech Academy of Sciences; Institute of Philosophy of the Czech Academy of Sciences; Faculty of Arts of Charles University, Aug 2024, Prague, Czech Republic. ⟨hal-04712434⟩

Jérémy Bouché-Pillon, Nathalie Aussenac-Gilles, Yannick Chevalier, Pascale Zaraté. An ontology for legal reasoning on data sharing and processing between law enforcement agencies. 3rd international workshop Knowledge Management and Process Mining for Law (KM4LAW 2024), IAOA, Jul 2024, Enschede, Netherlands. à paraître. ⟨hal-04654770⟩

Philippe Balbiani, Cigdem Gencer. Intuitionistic modal logics: a minimal setting. Topology, Algebra, and Categories in Logic, Jul 2024, Barcelone, Spain. ⟨hal-04800485⟩

Samuel Bianchini, Gaël Lejeune, Dominique Longin, Emmanuel Adam. IA & Création artistique. Bulletin de l'Association Française pour l'Intelligence Artificielle, 125, 2024, Association Française d'Intelligence Artificielle. ⟨hal-04708692⟩

Jean-Guy Mailly, François Schwarzentruber, Anaelle Wilczynski. Actes des 18es Journées d’Intelligence Artificielle Fondamentale et des 19es Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes. Plate-Forme Intelligence Artificielle, Association Française pour l'Intelligence Artificielle, 2024. ⟨hal-04620491v2⟩

Philippe Balbiani, Quentin Gougeon, Tinko Tinchev. Characterizing measurable Boolean algebras. Topology, Algebra, and Categories in Logic, Jul 2024, Barcelone, Spain. ⟨hal-04800488⟩