Hybrid metabolic network completion

DOI10.1017/S1471068418000455zbMath1486.92062OpenAlexW2900329956MaRDI QIDQ5197745

Sebastian Schellhorn, Torsten Schaub, Clémence Frioux, Anne Siegel, Philipp Wanko

Publication date: 19 September 2019

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068418000455

zbMATH Keywords

linear programmingbioinformaticsanswer set programmingmetabolic networkhybrid solvinggap-filling

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Systems biology, networks (92C42)

Uses Software

• clasp
• MetaCyc
• Clingcon
• Clingo
• COBRApy
• meneco
• fastGapFill
• COBRA Toolbox

Cites Work

• Unnamed Item
• Unnamed Item
• SAT-based MaxSAT algorithms
• Logic programming and nonmonotonic reasoning. 12th international conference, LPNMR 2013, Corunna, Spain, September 15--19, 2013. Proceedings
• Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27--30, 2015. Proceedings
• Extending and implementing the stable model semantics
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Clingo goes linear constraints over reals and integers
• ASP modulo CSP: The clingcon system

This page was built for publication: Hybrid metabolic network completion