Completing SBGN-AF networks by logic-based hypothesis finding

DOI10.1007/978-3-319-10398-3_14zbMATH Open1402.92209OpenAlexW2221676354MaRDI QIDQ5500409FDOQ5500409

Authors: Y. Yamamoto, Adrien Rougny, Hidetomo Nabeshima, Katsumi Inoue, Hisao Moriya, Christine Froidevaux, Koji Iwanuma 

Publication date: 6 August 2015

Published in: Formal Methods in Macro-Biology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-10398-3_14

Recommendations

• Hypothesizing about signaling networks
• Completing networks using observed data
• Logics in Artificial Intelligence
• Logical modeling of biological systems
• A mathematical approach to solve the network reconstruction problem

zbMATH Keywords

completionhypothesis findingglucose repressionSBGN

Mathematics Subject Classification ID

Systems biology, networks (92C42) Logics of knowledge and belief (including belief change) (03B42) Software, source code, etc. for problems pertaining to biology (92-04)

Cited In (3)

• SBGN
• Hybrid metabolic network completion
• Abductive reasoning on molecular interaction maps

Uses Software

• SOLAR

This page was built for publication: Completing SBGN-AF networks by logic-based hypothesis finding

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