research
∙
03/08/2023
Morpho-logic from a Topos Perspective: Application to symbolic AI
Modal logics have proved useful for many reasoning tasks in symbolic art...
share
research
∙
05/04/2020
Abstract Mathematical morphology based on structuring element: Application to morpho-logic
A general definition of mathematical morphology has been defined within ...
research
∙
03/05/2018
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
The aim of this paper is to introduce a new framework for defining abduc...
research
∙
10/16/2017
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning
Several logical operators are defined as dual pairs, in different types ...
research
∙
02/26/2015