Temporal Logic Modeling of Biological Systems

DOI10.1007/978-3-319-40418-9_11zbMath1429.92071OpenAlexW2492108655MaRDI QIDQ5213786

Olivier Sordet, Robert Demolombe, Martín Diéguez, Jean-Charles Faye, Naji Obeid, Luis Fariñas del Cerro, Jean-Marc Alliot, Gilles Favre

Publication date: 4 February 2020

Published in: Towards Paraconsistent Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40418-9_11

zbMATH Keywords

temporal reasoningmetabolic networksmolecular interaction logic (MIL)

Mathematics Subject Classification ID

Temporal logic (03B44) Other applications of logic (03B80) Systems biology, networks (92C42)

Related Items (1)

Temporal abductive reasoning about biochemical reactions

Uses Software

• MiniSat
• ASSAT

Cites Work

• Unnamed Item
• Translation of first order formulas into ground formulas via a completion theory
• A generalization of the Lin-Zhao theorem
• An incremental method for generating prime implicants/implicates
• Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
• Loop Formulas for Splitable Temporal Logic Programs
• Temporal Equilibrium Logic: A First Approach
• Temporal equilibrium logic: a survey
• Theory and Applications of Satisfiability Testing

This page was built for publication: Temporal Logic Modeling of Biological Systems