{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T15:01:44Z","timestamp":1781103704016,"version":"3.54.1"},"reference-count":9,"publisher":"IGI Global Scientific Publishing","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,4,1]]},"abstract":"<p>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 \u201cbridge\u201d 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.<\/p>","DOI":"10.4018\/jncr.2011040105","type":"journal-article","created":{"date-parts":[[2011,10,20]],"date-time":"2011-10-20T10:39:58Z","timestamp":1319107198000},"page":"56-66","source":"Crossref","is-referenced-by-count":1,"title":["Forward and Backward Chaining with P Systems"],"prefix":"10.4018","volume":"2","author":[{"given":"Sergiu","family":"Ivanov","sequence":"first","affiliation":[{"name":"Academy of Sciences of Moldova and Technical University of Moldova, Moldova"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Artiom","family":"Alhazov","sequence":"additional","affiliation":[{"name":"Academy of Sciences of Moldova, Moldova, and Universit\u00e0 degli Studi di Milano-Bicocca, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vladimir","family":"Rogojin","sequence":"additional","affiliation":[{"name":"Vladimir Rogojin, Helsinki University,\u00a0 Finland and Academy of Sciences of Moldova, Moldova"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Miguel A.","family":"Guti\u00e9rrez-Naranjo","sequence":"additional","affiliation":[{"name":"Academy of Sciences of Moldova, Moldova, and University of Sevilla, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"2432","reference":[{"key":"jncr.2011040105-0","article-title":"Logic programming","author":"K. R.Apt","year":"1990","journal-title":"Handbook of theoretical computer science"},{"key":"jncr.2011040105-1","author":"I.Bratko","year":"2001","journal-title":"PROLOG programming for artificial intelligence"},{"issue":"1","key":"jncr.2011040105-2","first-page":"34","article-title":"Deductive databases and P systems.","volume":"12","author":"M. A.Guti\u00e9rrez-Naranjo","year":"2004","journal-title":"Computer Science Journal of Moldova"},{"key":"jncr.2011040105-3","author":"M.Jago","year":"2007","journal-title":"Formal logic. Penrith"},{"issue":"4","key":"jncr.2011040105-4","first-page":"357","article-title":"A variant of P systems with active membranes: Solving NP-complete problems.","volume":"2","author":"S. N.Krishna","year":"1999","journal-title":"Romanian Journal of Information Science and Technology"},{"key":"jncr.2011040105-5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","author":"J. W.Lloyd","year":"1987","journal-title":"Foundations of logic programming"},{"key":"jncr.2011040105-6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56196-2","author":"G.P\u0103un","year":"2002","journal-title":"Membrane computing: An introduction"},{"key":"jncr.2011040105-7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-11467-0","author":"G.P\u0103un","year":"2010","journal-title":"The Oxford handbook of membrane computing"},{"key":"jncr.2011040105-8","unstructured":"Systems, P. (2011). Resources website. Retrieved from http:\/\/ppage.psystems.eu\/"}],"container-title":["International Journal of Natural Computing Research"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=57971","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T11:37:35Z","timestamp":1654083455000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jncr.2011040105"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2011,4,1]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,4]]}},"URL":"https:\/\/doi.org\/10.4018\/jncr.2011040105","relation":{},"ISSN":["1947-928X","1947-9298"],"issn-type":[{"value":"1947-928X","type":"print"},{"value":"1947-9298","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,4,1]]}}}