Metabolic pathways as temporal logic programs

DOI10.1007/978-3-319-48758-8_1MaRDI QIDQ2835858zbMATH OpenOpenAlexFDO

Authors Jean-Marc Alliot, Martín Diéguez, Luis Fariñas del Cerro

Publication date 30 November 2016

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-48758-8_1

Mathematics Subject Classification ID

Other applications of logic (03B80) Cell biology (92C37) Biochemistry, molecular biology (92C40)

Recommendations

• Temporal logic modeling of biological systems
• A framework for modelling molecular interaction maps
• Abductive reasoning on molecular interaction maps
• Graph Transformations
• Logics in Artificial Intelligence

Cites work

• A generalization of the Lin-Zhao theorem
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 834571 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Loop formulas for splitable temporal logic programs
• On the complexity of temporal equilibrium logic
• Reasoning about non-immediate triggers in biological networks
• Temporal equilibrium logic: a survey
• Temporal here and there

Cited in

(6)

• Application of abductive ILP to learning metabolic network inhibition from temporal data
• A framework for modelling molecular interaction maps
• Temporal logic modeling of biological systems
• Abductive reasoning on molecular interaction maps
• Logics in Artificial Intelligence
• Computational Methods in Systems Biology

Describes a project that uses

Uses Software

• ASSAT

This page was built for publication: Metabolic pathways as temporal logic programs

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