Model Revision from Temporal Logic Properties in Computational Systems Biology

DOI10.1007/978-3-540-78652-8_11MaRDI QIDQ5452030zbMATH OpenOpenAlexFDO

Authors François Fages, Sylvain Soliman

Publication date 28 March 2008

Published in Probabilistic Inductive Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78652-8_11

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Biochemistry, molecular biology (92C40) Logic programming (68N17)

Recommendations

• Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
• Model checking of biological systems
• scientific article; zbMATH DE number 1950556
• Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints
• On temporal logic constraint solving for analyzing numerical data time series

Cites work

• scientific article; zbMATH DE number 1950556 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• BioAmbients: an abstraction for biological compartments
• Brane Calculi
• Formal molecular biology
• Model Checking Software
• Modeling and querying biomolecular interaction networks

Cited in

(13)

• Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints
• Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures
• Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
• ModRev -- model revision tool for Boolean logical models of biological regulatory networks
• From quantitative SBML models to Boolean networks
• On temporal logic constraint solving for analyzing numerical data time series
• Artificial intelligence in biological modelling
• A generic framework to coarse-grain stochastic reaction networks by abstract interpretation
• Modelling and Analysing Qualitative Biological Models using Rewriting Logic
• scientific article; zbMATH DE number 1955850 (Why is no real title available?)
• What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer
• Temporal abductive reasoning about biochemical reactions
• Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

Describes a project that uses

Uses Software

• BIOCHAM
• NuSMV

This page was built for publication: Model Revision from Temporal Logic Properties in Computational Systems Biology

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