LGEM+: A First-Order Logic Framework for Automated Improvement of Metabolic Network Models Through Abduction
Paper i proceeding, 2023
automated theorem proving
first-order logic
metabolic modelling
artificial intelligence
Scientific discovery
systems biology
Författare
Alexander Gower
Chalmers, Data- och informationsteknik, Data Science och AI
Konstantin Korovin
University of Manchester
Daniel Brunnsåker
Chalmers, Data- och informationsteknik, Data Science och AI
Ievgeniia Tiukova
Chalmers, Life sciences, Infrastrukturer
Kungliga Tekniska Högskolan (KTH)
Ross King
Alan Turing Institute
Chalmers, Data- och informationsteknik, Data Science och 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,
Ämneskategorier
Bioinformatik (beräkningsbiologi)
Bioinformatik och systembiologi
Datavetenskap (datalogi)
DOI
10.1007/978-3-031-45275-8_42