Modal logics have proved useful for many reasoning tasks in symbolic
art...
A general definition of mathematical morphology has been defined within ...
The aim of this paper is to introduce a new framework for defining abduc...
Several logical operators are defined as dual pairs, in different types ...
As ontologies and description logics (DLs) reach out to a broader audien...