References

1. Giovanni Boniolo, Marcello D'Agostino & Pier Paolo Di Fiore (2010): Zsyntax: A Formal Language for Molecular Biology with Projected Applications in Text Mining and Biological Prediction. PLOS ONE 5(3), pp. 1–12, doi:10.1371/journal.pone.0009511.
2. Pierre Boutillier, Mutaamba Maasha, Xing Li, Héctor F Medina-Abarca, Jean Krivine, Jérôme Feret, Ioana Cristescu, Angus G Forbes & Walter Fontana (2018): The Kappa platform for rule-based modeling. Bioinformatics 34(13), pp. 583–592, doi:10.1093/bioinformatics/bty272.
3. LA Chylek, LA Harris, C-S Tung, JR Faeder, CF Lopez & WS Hlavacek (2014): Rule-based modeling (...). Wiley interdisciplinary reviews Systems biology and medicine 6(1), pp. 13–36, doi:10.1002/wsbm.1245.
4. Paul R Cohen (2015): DARPA's Big Mechanism program. Physical Biology 12(4), pp. 045008, doi:10.1088/1478-3975/12/4/045008.
5. Willem Conradie (2006): On the strength and scope of DLS. Journal of Applied Non-Classical Logics 16(3-4), pp. 279–296, doi:10.3166/jancl.16.279-296.
6. Emek Demir, Michael P Cary, Suzanne Paley, Ken Fukuda, Christian Lemer & Imre Vastrik (2010): The BioPAX community standard for pathway data sharing. Nature Biotechnology 28, doi:10.1038/nbt.1666.
7. Joëlle Despeyroux (2016): (Mathematical) Logic for Systems Biology. In: CMSB. Springer, pp. 3–12, doi:10.1007/978-3-319-45177-0_1.
8. Patrick Doherty, Steve Kertes, Martin Magnusson & Andrzej Szalas (2004): Towards a logical analysis of biochemical pathways. In: European Workshop on Logics in Artificial Intelligence. Springer, pp. 667–679, doi:10.1007/978-3-540-25974-9_14.
9. Patrick Doherty, Witold Łukaszewicz & Andrzej Szałas (1998): General domain circumscription and its effective reductions. Fundamenta Informaticae 36(1), pp. 23–55, doi:10.3233/FI-1998-3612.
10. Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Jose Meseguer & Kemal Sonmez (2002): Pathway logic: symbolic analysis of biological signaling. Biocomputing, pp. 400–412, doi:10.1142/9789812799623_0038.
11. David William Etherington (1986): Reasoning with incomplete information : investigations of non-monotonic reasoning. University of British Columbia, doi:10.14288/1.0051930. Available at https://open.library.ubc.ca/collections/ubctheses/831/items/1.0051930.
12. David Harel, Dexter Kozen & Jerzy Tiuryn (2001): Dynamic logic. In: Handbook of philosophical logic. Springer, pp. 99–217, doi:10.1145/568438.568456.
13. Clive S Mason, Caroline J Springer, Robert G Cooper, Giulio Superti-Furga, Christopher J Marshall & Richard Marais (1999): Serine and tyrosine phosphorylations cooperate in Raf-1, but not B-Raf activation. The EMBO journal 18(8), pp. 2137–2148, doi:10.1093/emboj/18.8.2137.
14. John McCarthy (1980): Circumscription\begingroupłet [Pleaseinsert\PrerenderUnicode—intopreamble]A form of non-monotonic reasoning. Artificial Intelligence 13(1), pp. 27 – 39, doi:10.1016/0004-3702(80)90011-9. Available at http://www.sciencedirect.com/science/article/pii/0004370280900119. Special Issue on Non-Monotonic Logic.
15. John McCarthy (1986): Applications of circumscription to formalizing common-sense knowledge. Artificial Intelligence 28(1), pp. 89 – 116, doi:10.1016/0004-3702(86)90032-9. Available at http://www.sciencedirect.com/science/article/pii/0004370286900329.
16. Andreas Nonnengart, Hans Jürgen Ohlbach & Andrzej Szałas (1999): Elimination of predicate quantifiers. In: Logic, Language and Reasoning. Springer, pp. 149–171, doi:10.1007/978-94-011-4574-9_9.
17. Raymond Reiter (1991): The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy 27, pp. 359–380, doi:10.1.1.137.2995.
18. John C Reynolds (2002): Separation logic: A logic for shared mutable data structures. In: Proceedings 17th Annual IEEE Symposium on Logic in Computer Science. IEEE, pp. 55–74, doi:10.1109/LICS.2002.1029817.
19. The UniProtConsortium (2018): UniProt: the universal protein knowledgebase. Nucleic Acids Research 46(5), pp. 2699–2699, doi:10.1093/nar/gky092. Available at https://dx.doi.org/10.1093/nar/gky092.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org