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

Alexander H. Gower, Konstantin Korovin, Daniel Brunnsåker +2

Scientific discovery in biology is difficult due to the complexity of the systems involved and the expense of obtaining high quality experimental data. Automated techniques are a p…