Show simple item record

Presentation

dc.creatorDíaz Pernil, Danieles
dc.creatorGutiérrez Naranjo, Miguel Ángeles
dc.date.accessioned2016-12-07T11:02:53Z
dc.date.available2016-12-07T11:02:53Z
dc.date.issued2016
dc.identifier.citationDíaz Pernil, D. y Gutiérrez Naranjo, M.Á. (2016). Semantics of Deductive Databases in a Membrane Computing Connectionist Model. En BWMC 2016 : 14th Brainstorming Week on Membrane Computing : Sevilla, E. T. S. de Ingeniería Informática, February 1-5 (173-184), Sevilla: Fénix.
dc.identifier.urihttp://hdl.handle.net/11441/49806
dc.description.abstractThe integration of symbolic reasoning systems based on logic and connectionist systems based on the functioning of living neurons is a vivid research area in computer science. In the literature, one can found many e orts where di erent reasoning systems based on di erent logics are linked to classic arti cial neural networks. In this paper, we study the relation between the semantics of reasoning systems based on propositional logic and the connectionist model in the framework of membrane computing, namely, spiking neural P systems. We prove that the xed point semantics of deductive databases and the immediate consequence operator can be implemented in the spiking neural P systems model.es
dc.formatapplication/pdfes
dc.language.isoenges
dc.publisherFénixes
dc.relation.ispartofBWMC 2016 : 14th Brainstorming Week on Membrane Computing : Sevilla, E. T. S. de Ingeniería Informática, February 1-5 (2016), p 173-184
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.titleSemantics of Deductive Databases in a Membrane Computing Connectionist Modeles
dc.typeinfo:eu-repo/semantics/conferenceObjectes
dc.type.versioninfo:eu-repo/semantics/publishedVersiones
dc.rights.accessrightsinfo:eu-repo/semantics/openAccesses
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificiales
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Matemática Aplicada I (ETSII)es
dc.relation.publisherversionhttp://www.gcn.us.es/files/14bwmc/173_dani_miguel_semantics.pdfes
dc.contributor.groupUniversidad de Sevilla. TIC193 : Computación Naturales
dc.contributor.groupUniversidad de Sevilla. FQM296 : Topología Computacional y Matemática Aplicadaes
idus.format.extent12es
dc.publication.initialPage173es
dc.publication.endPage184es
dc.eventtitleBWMC 2016 : 14th Brainstorming Week on Membrane Computing : Sevilla, E. T. S. de Ingeniería Informática, February 1-5es
dc.eventinstitutionSevillaes
dc.relation.publicationplaceSevillaes
dc.identifier.idushttps://idus.us.es/xmlui/handle/11441/49806

FilesSizeFormatViewDescription
173_dani_miguel_semantics.pdf269.0KbIcon   [PDF] View/Open  

This item appears in the following collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional