ListarMA - Contribuciones a congresos científicos por tema "Axioma de elección"
Mostrando ítems 1-1 de 1
-
CAISL: Simplification Logic for Conditional Attribute Implications
(2016-07-25)In this work, we present a sound and complete axiomatic system for conditional attribute implications (CAIs) in Triadic Concept Analysis (TCA). Our approach is strongly based on the Simplification paradigm which offers a ...