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 (JIAF, 2023)

Morpho-logic from a topos perspective - application to symbolic AI. - Marc Aiguier; Isabelle Bloch; Salim Nibouche; Ramón Pino Pérez (Int. J. Approx. Reason., 2023)