RT Conference Proceedings
T1 CAISL: Simplification Logic for Conditional Attribute Implications
A1 Mora-Bonilla, Ángel
A1 Cordero-Ortega, Pablo
A1 Enciso-García-Oliveros, Manuel
A1 Rodríguez-Lorenzo, Estrella
A1 Missaoui, Nokia
K1 Axioma de elección
AB 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 more suitable way for automated reasoning than the one based on Armstrong’s Axioms. We also present an automated method to prove the derivability of a CAI from a set of CAI s.
YR 2016
FD 2016-07-25
LK http://hdl.handle.net/10630/11894
UL http://hdl.handle.net/10630/11894
LA spa
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 21 ene 2026