dc.creator | Cordón Franco, Andrés | es |
dc.creator | Gutiérrez Naranjo, Miguel Ángel | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.creator | Sancho Caparrini, Fernando | es |
dc.date.accessioned | 2016-11-15T11:01:07Z | |
dc.date.available | 2016-11-15T11:01:07Z | |
dc.date.issued | 2004 | |
dc.identifier.citation | Cordón Franco, A., Gutiérrez Naranjo, M.Á., Pérez Jiménez, M.d.J. y Sancho Caparrini, F. (2004). A Prolog Simulator for Deterministic P Systems with Active Membranes. New Generation Computing, 22 (4), 349-363. | |
dc.identifier.issn | 0288-3635 | es |
dc.identifier.uri | http://hdl.handle.net/11441/48591 | |
dc.description.abstract | In this paper we propose a new way to represent P systems
with active membranes based on Logic Programming techniques. This
representation allows us to express the set of rules and the configuration of
the P system in each step of the evolution as literals of an appropriate
language of first order logic. We provide a Prolog program to simulate the
evolution of these P systems and present some auxiliary tools to simulate
the evolution of a P system with active membranes using 2-division which
solves the SAT problem following the techniques presented in | es |
dc.description.sponsorship | Ministerio de Ciencia y Tecnología TIC2002-04220-C03-01 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | New Generation Computing, 22 (4), 349-363. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Logic programming | es |
dc.subject | Membrane Computing | es |
dc.subject | Simulation | es |
dc.subject | Prolog | es |
dc.subject | SAT-problem | es |
dc.title | A Prolog Simulator for Deterministic P Systems with Active Membranes | es |
dc.type | info:eu-repo/semantics/article | es |
dc.type.version | info:eu-repo/semantics/submittedVersion | 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.relation.projectID | TIC2002-04220-C03-01 | es |
dc.relation.publisherversion | http://link.springer.com/article/10.1007%2FBF03037286 | es |
dc.identifier.doi | 10.1007/BF03037286 | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
idus.format.extent | 17 | es |
dc.journaltitle | New Generation Computing | es |
dc.publication.volumen | 22 | es |
dc.publication.issue | 4 | es |
dc.publication.initialPage | 349 | es |
dc.publication.endPage | 363 | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/48591 | |
dc.contributor.funder | Ministerio de Ciencia y Tecnología (MCYT). España | |