CAISL: Simplification Logic for Conditional Attribute Implications

Simple item page
dc.centroEscuela Politécnica Superiores_ES
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.departamentoMatemática Aplicada
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.identifier.orcidhttp://orcid.org/0000-0003-4548-8030es_ES
dc.identifier.urihttp://hdl.handle.net/10630/11894
dc.language.isospaes_ES
dc.relation.eventdate18/7/2016es_ES
dc.relation.eventplaceMoscú - Rusiaes_ES
dc.relation.eventtitle13th International Conference on Concept Lattices and Their Applicationses_ES
dc.rightsby-nc-nd
dc.rights.accessRightsopen accesses_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.typeconference outputes_ES
dspace.entity.typePublication
relation.isAuthorOfPublication8e6e53c5-f592-44ca-8221-e313ae2079a9
relation.isAuthorOfPublicationfa6843d6-9749-4852-96b3-b43ee5378c6e
relation.isAuthorOfPublicationd9a4128d-07d3-4140-a0f8-b1942366cac0
relation.isAuthorOfPublication.latestForDiscovery8e6e53c5-f592-44ca-8221-e313ae2079a9

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
CLA2016-v8.pdf
Size:
328.23 KB
Format:
Adobe Portable Document Format
Download

Collections

Ponencias, Comunicaciones a congresos y Pósteres