Buscar
Mostrando ítems 1-2 de 2
Artículo
Formally Verified Tableau-Based Reasoners for a Description Logic
(Springer, 2014)
Description Logics are a family of logics used to represent and reason about conceptual and terminological knowledge. One of the most basic description logics is ALC , used as a basis from which to obtain others. Description ...
Ponencia
Phenomenological Percolation in Conceptual Networks associated to Complex Systems
(IEEE Computer Society, 2014)
A notion of phenomenological percolation for Conceptual Structures associated to Complex Systems (CS) is proposed. This process on concept lattices (from Formal Concept Analysis) consists in the allocation of (non-previous) ...