LGEM$^\text{+}$: a first-order logic framework for automated improvement of metabolic network models through abduction

1 code implementation • 9 Jun 2023 • Alexander H. Gower, Konstantin Korovin, Daniel Brunnsåker, Ievgeniia A. Tiukova, Ross D. King

The yeast Saccharomyces cerevisiae is the best understood eukaryote, and genome-scale metabolic models (GEMs) are rich sources of background knowledge that we can use as a basis for automated inference and investigation.