<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>13</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Sergiu Ivanov</style></author><author><style face="normal" font="default" size="100%">Artiom Alhazov</style></author><author><style face="normal" font="default" size="100%">Vladimir Rogojin</style></author><author><style face="normal" font="default" size="100%">Miguel A. Gutiérrez-Naranjo</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Forward and Backward Chaining with P Systems</style></title><secondary-title><style face="normal" font="default" size="100%">Ninth Brainstorming Week on Membrane Computing</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Proceedings of the Ninth Brainstorming Week on Membrane Computing</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year><pub-dates><date><style  face="normal" font="default" size="100%">02/2011</style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.gcn.us.es/9BWMC/volume/15fbcpIvanov.pdf</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Fénix Editora</style></publisher><pub-location><style face="normal" font="default" size="100%">Seville, Spain</style></pub-location><pages><style face="normal" font="default" size="100%">221-236</style></pages><abstract><style face="normal" font="default" size="100%">On the one hand, one of the concepts which lies at the basis of membrane
computing is the multiset rewriting rule. On the other hand, the paradigm of rules is
profusely used in computer science for representing and dealing with knowledge. There-
fore, it makes much scene to establish a &quot;bridge&quot; between these domains, for instance,
by designing P systems reproducing forward and backward chaining which can be used
as tools for reasoning in propositional logic. Our work shows again, how powerful and
intuitive the formalism of membrane computing is and how it can be used to represent
concepts and notions from totally unrelated areas.</style></abstract></record></records></xml>