Metabolic Pathways as Temporal Logic Programs

DOI10.1007/978-3-319-48758-8_1zbMath1483.92064OpenAlexW2543747225MaRDI QIDQ2835858

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

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

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

Uses Software

• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A generalization of the Lin-Zhao theorem
• Reasoning about non-immediate triggers in biological networks
• Temporal Here and There
• Loop Formulas for Splitable Temporal Logic Programs
• Temporal equilibrium logic: a survey
• On the Complexity of Temporal Equilibrium Logic

This page was built for publication: Metabolic Pathways as Temporal Logic Programs