Morpho-logic from a topos perspective - application to symbolic AI

Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez. Morpho-logic from a topos perspective - application to symbolic AI. Int. J. Approx. Reasoning, 161:109011, October 2023. [doi]

Abstract

Abstract is missing.