dc.creator | Díaz Pernil, Daniel | es |
dc.creator | Gutiérrez Naranjo, Miguel Ángel | es |
dc.date.accessioned | 2016-12-07T11:02:53Z | |
dc.date.available | 2016-12-07T11:02:53Z | |
dc.date.issued | 2016 | |
dc.identifier.citation | Dí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.uri | http://hdl.handle.net/11441/49806 | |
dc.description.abstract | The 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.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Fénix | es |
dc.relation.ispartof | BWMC 2016 : 14th Brainstorming Week on Membrane Computing : Sevilla, E. T. S. de Ingeniería Informática, February 1-5 (2016), p 173-184 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Semantics of Deductive Databases in a Membrane Computing Connectionist Model | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII) | es |
dc.relation.publisherversion | http://www.gcn.us.es/files/14bwmc/173_dani_miguel_semantics.pdf | es |
dc.contributor.group | Universidad de Sevilla. TIC193 : Computación Natural | es |
dc.contributor.group | Universidad de Sevilla. FQM296 : Topología Computacional y Matemática Aplicada | es |
idus.format.extent | 12 | es |
dc.publication.initialPage | 173 | es |
dc.publication.endPage | 184 | es |
dc.eventtitle | BWMC 2016 : 14th Brainstorming Week on Membrane Computing : Sevilla, E. T. S. de Ingeniería Informática, February 1-5 | es |
dc.eventinstitution | Sevilla | es |
dc.relation.publicationplace | Sevilla | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/49806 | |