LGEM+: A First-Order Logic Framework for Automated Improvement of Metabolic Network Models Through Abduction
Paper in proceeding, 2023
automated theorem proving
first-order logic
metabolic modelling
artificial intelligence
Scientific discovery
systems biology
Author
Alexander Gower
Chalmers, Computer Science and Engineering (Chalmers), Data Science and AI
Konstantin Korovin
University of Manchester
Daniel Brunnsåker
Chalmers, Computer Science and Engineering (Chalmers), Data Science and AI
Ievgeniia Tiukova
Chalmers, Life Sciences, Infrastructures
Royal Institute of Technology (KTH)
Ross King
Alan Turing Institute
Chalmers, Computer Science and Engineering (Chalmers), Data Science and AI
University of Cambridge
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 14276 LNAI 628-6439783031452741 (ISBN)
Porto, Portugal,
Subject Categories
Bioinformatics (Computational Biology)
Bioinformatics and Systems Biology
Computer Science
DOI
10.1007/978-3-031-45275-8_42