2026-06-02T10:00:29Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/118942026-02-03T12:23:13Zcom_10630_2254col_10630_37959

CAISL: Simplification Logic for Conditional Attribute Implications Mora-Bonilla, Ángel Cordero-Ortega, Pablo Enciso-García-Oliveros, Manuel Rodríguez-Lorenzo, Estrella Missaoui, Nokia Axioma de elección 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. 2016-07-25T10:23:46Z 2016-07-25T10:23:46Z 2016 2016-07-25 conference output http://hdl.handle.net/10630/11894 http://orcid.org/0000-0003-4548-8030 spa 13th International Conference on Concept Lattices and Their Applications Moscú - Rusia 18/7/2016 open access by-nc-nd