Partial Knowledge in Membrane Systems: A Logical Approach

DOI10.1007/11963516_18MaRDI QIDQ3591028zbMATH OpenOpenAlexFDO

Authors Matteo Cavaliere, Radu Mardare

Publication date 3 September 2007

Published in Membrane Computing (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/19255923/Cavaliere_Mardare_2006_Partial_Knowledge_in_Membrane_Systems_A_Logical_Approach.pdf

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Systems biology, networks (92C42)

Recommendations

• Membrane Computing
• Strategy-based proof calculus for membrane systems
• Rewriting logic specification of membrane systems with promoters and inhibitors
• Properties of membrane systems
• A guide to membrane computing.

Describes a project that uses

Uses Software

• SLMC

This page was built for publication: Partial Knowledge in Membrane Systems: A Logical Approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3591028)