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

completionglucose repressionhypothesis findingSBGN

Mathematics Subject Classification ID

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

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)

• Hybrid metabolic network completion
• Abductive reasoning on molecular interaction maps
• 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)