Yannick Chevalier. Theory Synthesis based on Experience. [Research Report] IRIT/RR–2022–08–FR, IRIT - Institut de Recherche en Informatique de Toulouse. 2022. ⟨hal-03829757⟩

Xinghan Liu, Emiliano Lorini. A Logic of "Black Box" Classifier Systems. 28th Workshop on Logic, Language, Information and Computation (WOLLIC 2022), Sep 2022, Lasi, Romania. pp.158-174, ⟨10.1007/978-3-031-15298-6_10⟩. ⟨hal-03873355⟩

Sylvie Doutre, Marie-Christine Lagasquie-Schiex. Computing the Labellings of Higher-Order Abstract Argumentation Frameworks. 4th International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2022), Sep 2022, Cardiff, United Kingdom. pp.45-58. ⟨hal-03812167⟩

Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel. Synthesis of Mechanisms with Strategy Logic (Short Paper). 23rd Italian Conference on Theoretical Computer Science (ICTCS 2022), Sep 2022, Rome, Italy. pp.1-6. ⟨hal-03879258⟩

Philippe Balbiani. Admissibility in Alt × Alt is undecidable. 2022. ⟨hal-03766388⟩

Philippe Balbiani, Quentin Gougeon. Projective unification through duality. Advances in Modal Logic (AiML 2022), Aug 2022, Rennes, France. ⟨hal-03762785⟩

Philippe Balbiani, Martín Diéguez, Çiğdem Gencer. Advanced languages of terms for ontologies. 35th International Workshop on Description Logics (DL 2022) @ FLOC 2022: Fedrerated Logic Conference, Aug 2022, Haifa, Israel. ⟨hal-03762589⟩

Emiliano Lorini. Epistemic Actions: Comparing Multi-agent Belief Bases with Action Models. 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Jul 2022, Haifa, Israel. pp.236-246, ⟨10.24963/kr.2022/24⟩. ⟨hal-03873252⟩

Stergos Afantenos, Suryani Lim, Henri Prade, Gilles Richard. Theoretical study and empirical investigation of sentence analogies. IJCAI-ECAI Workshop: Workshop on the Interactions between Analogical Reasoning and Machine Learning (IAMRL 2022) @ IJCAI-ECAI 2022, Jul 2022, Vienna, Austria. pp.15-28. ⟨hal-03859119⟩

Leila Amgoud, Jonathan Ben-Naim. Axiomatic Foundations of Explainability. 31st International Joint Conference on Artificial Intelligence (IJCAI 2022), IJCAI Organization, Jul 2022, Vienne, Austria. pp.636-641. ⟨hal-03702681⟩