Philippe Balbiani, Quentin Gougeon, Tinko Tinchev. Logics for Contact and Measure. 2024. ⟨hal-04544145v2⟩

Jean-Guy Mailly. pygarg: A Python Engine for Argumentation. IRIT/RR–2024–02–FR, IRIT - Institut de Recherche en Informatique de Toulouse. 2024. ⟨hal-04526918v2⟩

Florence Dupin de Saint-Cyr, Nicolas Yannick Pepin, Nassim Mokhtari, Philippe Morignot, Julien Vianey, et al.. DriveToGaether: a Turnkey Collaborative Robotic Event Platform. 16th International Conference on Agents and Artificial Intelligence (ICAART 2024), Feb 2024, Rome, Italy. pp.404--411, ⟨10.5220/0012463800003636⟩. ⟨hal-04402625v2⟩

Philippe Balbiani, Han Gao, Cigdem Gencer, Nicola Olivetti. A Natural Intuitionistic Modal Logic: Axiomatization and Bi-Nested Calculus. 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024), Feb 2024, Naples, Italy. pp.1--21, ⟨10.4230/LIPIcs.CSL.2024.13⟩. ⟨hal-04457356⟩

Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris. A Logical Modeling of the Yōkai Board Game. AI Communications, In press, pp.1-32. ⟨10.3233/AIC-230050⟩. ⟨hal-04304902⟩

Philippe Balbiani, Cigdem Gencer. Undecidability of admissibility in the product of two Alt logics. Logic Journal of the IGPL, 2023, ⟨10.1093/jigpal/jzad021⟩. ⟨hal-04307720⟩

Quentin Gougeon. Computing most general unifiers in Euclidean modal logics. 2023. ⟨hal-04244893⟩

Xinghan Liu. A logical investigation of explainable AI. Artificial Intelligence [cs.AI]. Université Paul Sabatier - Toulouse III, 2023. English. ⟨NNT : 2023TOU30187⟩. ⟨tel-04431518⟩

Emmanuel Adam, Thomas Guyet, Benoit Le Blanc, Dominique Longin, Zied Bouraoui, et al.. Conférence Nationale d’Intelligence Artificielle Année 2023. Association Française pour l'Intelligence Artificielle, 2023. ⟨hal-04310171⟩

Quentin Gougeon, Philippe Balbiani. Projective relative unification through duality. Journal of Logic and Computation, 2023, pp.1--21. ⟨10.1093/logcom/exad058⟩. ⟨hal-04307724⟩