Modelling and Analysing Qualitative Biological Models using Rewriting Logic

DOI10.3233/FI-2017-1529MaRDI QIDQ4599813zbMATH OpenFDO

Authors Abdullah Alhumaidan, Jason Steggles

Publication date 5 January 2018

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/FI-2017-1529

zbMATH Keywords

genetic regulatory networksmulti-valued networksqualitative modellingrewriting logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)

Recommendations

• A Formal Framework for Composing Qualitative Models of Biological Systems
• Logical modeling of biological systems
• scientific article; zbMATH DE number 5968911
• Model Revision from Temporal Logic Properties in Computational Systems Biology
• An abstraction theory for qualitative models of biological systems
• Computational Methods in Systems Biology
• (Mathematical) logic for systems biology (invited paper)
• Logical modelling of regulatory networks, methods and applications

Cited in

(5)

• scientific article; zbMATH DE number 5968911 (Why is no real title available?)
• An abstraction theory for qualitative models of biological systems
• Annotated defeasible logic
• A Formal Framework for Composing Qualitative Models of Biological Systems
• Logical modelling, some recent methodological advances illustrated

This page was built for publication: Modelling and Analysing Qualitative Biological Models using Rewriting Logic

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