Temporal logic modeling of biological systems
From MaRDI portal
Publication:5213786
DOI10.1007/978-3-319-40418-9_11zbMATH Open1429.92071OpenAlexW2492108655MaRDI QIDQ5213786FDOQ5213786
Authors: Jean-Marc Alliot, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro, Gilles Favre, Jean-Charles Faye, Naji Obeid, Olivier Sordet 
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
Recommendations
Cites Work
- Theory and Applications of Satisfiability Testing
- Translation of first order formulas into ground formulas via a completion theory
- Title not available (Why is that?)
- An incremental method for generating prime implicants/implicates
- A generalization of the Lin-Zhao theorem
- Temporal Equilibrium Logic: A First Approach
- Temporal equilibrium logic: a survey
- Enumerating prime implicants of propositional formulae in conjunctive normal form
- Loop formulas for splitable temporal logic programs
Cited In (7)
- Abstract interpretation based verification of temporal properties for BioAmbients
- A proof theoretic view of spatial and temporal dependencies in biochemical systems
- Modeling and querying biomolecular interaction networks
- A framework for modelling molecular interaction maps
- Metabolic pathways as temporal logic programs
- Temporal abductive reasoning about biochemical reactions
- Abductive reasoning on molecular interaction maps
Uses Software
This page was built for publication: Temporal logic modeling of biological systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5213786)
