Mostrar el registro sencillo del ítem

dc.contributor.authorMora Bonilla, Ángel
dc.contributor.authorCordero-Ortega, Pablo 
dc.contributor.authorEnciso-García-Oliveros, Manuel 
dc.contributor.authorRodríguez-Lorenzo, Estrella
dc.contributor.authorMissaoui, Nokia
dc.date.accessioned2016-07-25T10:23:46Z
dc.date.available2016-07-25T10:23:46Z
dc.date.created2016
dc.date.issued2016-07-25
dc.identifier.urihttp://hdl.handle.net/10630/11894
dc.description.abstractIn 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.sponsorshipUniversidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.es_ES
dc.language.isospaes_ES
dc.rightsinfo:eu-repo/semantics/openAccesses_ES
dc.subjectAxioma de elecciónes_ES
dc.subject.otherTriadic Concept Analysises_ES
dc.subject.otherLogices_ES
dc.subject.otherImplicationses_ES
dc.titleCAISL: Simplification Logic for Conditional Attribute Implicationses_ES
dc.typeinfo:eu-repo/semantics/conferenceObjectes_ES
dc.centroEscuela Politécnica Superiores_ES
dc.relation.eventtitle13th International Conference on Concept Lattices and Their Applicationses_ES
dc.relation.eventplaceMoscú - Rusiaes_ES
dc.relation.eventdate18/7/2016es_ES
dc.identifier.orcidhttp://orcid.org/0000-0003-4548-8030es_ES
dc.cclicenseby-nc-ndes_ES


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem