Completing SBGN-AF networks by logic-based hypothesis finding

DOI10.1007/978-3-319-10398-3_14MaRDI QIDQ5500409zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(3)

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

Describes a project that uses

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)