2 citations · 3 across the 3 of their papers we have counts for
3 papers
math.CT2020★ 1 cited
Abstract Mathematical morphology based on structuring element: Application to morpho-logic
Marc Aiguier, Isabelle Bloch, Ramon Pino-Pérez
A general definition of mathematical morphology has been defined within the algebraic framework of complete lattice theory. In this framework, dealing with deterministic and increa…
cs.LO2017★ 2 cited
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning
Marc Aiguier, Isabelle Bloch
Several logical operators are defined as dual pairs, in different types of logics. Such dual pairs of operators also occur in other algebraic theories, such as mathematical morphol…
cs.AI2015
Relaxation-based revision operators in description logics
Marc Aiguier, Jamal Atif, Isabelle Bloch +1
As ontologies and description logics (DLs) reach out to a broader audience, several reasoning services are developed in this context. Belief revision is one of them, of prime impor…