Cell dynamics is intrinsically concurrent, since many different biochemical reactions might take place simultaneously in a cell. Productive symbolic mathematical models of cell biology can be developed by modeling such biochemical reactions with rewrite rules. Analyses and predictions of biological facts can be obtained from such models. The authors have previously published several approaches for searching along cellular signaling networks. In this paper, we introduce a novel reverse inference system by applying narrowing techniques. Moreover, we propose a new general architecture which allows an extendible set of tools for direct and reverse inference by using rewriting logic.
CITATION STYLE
Santos-Buitrago, B., Riesco, A., Knapp, M., Santos-García, G., & Talcott, C. (2017). Reverse inference in symbolic systems biology. In Advances in Intelligent Systems and Computing (Vol. 616, pp. 101–109). Springer Verlag. https://doi.org/10.1007/978-3-319-60816-7_13
Mendeley helps you to discover research relevant for your work.