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