Completing SBGN-AF Networks by Logic-Based Hypothesis Finding

DOI10.1007/978-3-319-10398-3_14zbMath1402.92209OpenAlexW2221676354MaRDI QIDQ5500409

Hidetomo Nabeshima, Hisao Moriya, Koji Iwanuma, Adrien Rougny, Yoshitaka Yamamoto, Katsumi Inoue, Christine Froidevaux

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

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

Related Items (2)

Abductive Reasoning on Molecular Interaction Maps ⋮ SBGN

Uses Software

• SOLAR

This page was built for publication: Completing SBGN-AF Networks by Logic-Based Hypothesis Finding