Morpho-logique d'un point de vue de la théorie des topos : application à l'IA symbolique

Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez. Morpho-logique d'un point de vue de la théorie des topos : application à l'IA symbolique. In Zied Bouraoui, François Schwarzentruber, Anaëlle Wilczynski, editors, 17èmes Journées d'Intelligence Artificielle Fondamentale, JIAF 2023, Strasbourg, France, July 6-7, 2023. pages 80-90, 2023. [doi]

Abstract

Abstract is missing.