<?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%">International Journal of Natural Computing Research</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.igi-global.com/bookstore/article.aspx?titleid=57971</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">IGI Global</style></publisher><pub-location><style face="normal" font="default" size="100%">Hershey, Pennsylvania (USA)</style></pub-location><volume><style face="normal" font="default" size="100%">2</style></volume><pages><style face="normal" font="default" size="100%">56-66</style></pages><abstract><style face="normal" font="default" size="100%">One of the concepts that lie 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. Therefore, establishing a “bridge” between these domains is important, for instance, by designing P systems reproducing the modus ponens-based forward and backward chaining that can be used as tools for reasoning in propositional logic. In this paper, the authors show how powerful and intuitive the formalism of membrane computing is and how it can be used to represent concepts and notions from unrelated areas.</style></abstract><issue><style face="normal" font="default" size="100%">2</style></issue></record></records></xml>