Mostrar el registro sencillo del ítem
CAISL: Simplification Logic for Conditional Attribute Implications
dc.contributor.author | Mora-Bonilla, Ángel | |
dc.contributor.author | Cordero-Ortega, Pablo | |
dc.contributor.author | Enciso-García-Oliveros, Manuel | |
dc.contributor.author | Rodríguez-Lorenzo, Estrella | |
dc.contributor.author | Missaoui, Nokia | |
dc.date.accessioned | 2016-07-25T10:23:46Z | |
dc.date.available | 2016-07-25T10:23:46Z | |
dc.date.created | 2016 | |
dc.date.issued | 2016-07-25 | |
dc.identifier.uri | http://hdl.handle.net/10630/11894 | |
dc.description.abstract | 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. | es_ES |
dc.description.sponsorship | Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. | es_ES |
dc.language.iso | spa | es_ES |
dc.rights | info:eu-repo/semantics/openAccess | es_ES |
dc.subject | Axioma de elección | es_ES |
dc.subject.other | Triadic Concept Analysis | es_ES |
dc.subject.other | Logic | es_ES |
dc.subject.other | Implications | es_ES |
dc.title | CAISL: Simplification Logic for Conditional Attribute Implications | es_ES |
dc.type | info:eu-repo/semantics/conferenceObject | es_ES |
dc.centro | Escuela Politécnica Superior | es_ES |
dc.relation.eventtitle | 13th International Conference on Concept Lattices and Their Applications | es_ES |
dc.relation.eventplace | Moscú - Rusia | es_ES |
dc.relation.eventdate | 18/7/2016 | es_ES |
dc.identifier.orcid | http://orcid.org/0000-0003-4548-8030 | es_ES |
dc.cclicense | by-nc-nd | es_ES |