{"id":"https://openalex.org/W4387430215","doi":"https://doi.org/10.1007/978-3-031-45275-8_42","title":"LGEM+: A\u00a0First-Order Logic Framework for\u00a0Automated Improvement of\u00a0Metabolic Network Models Through Abduction","display_name":"LGEM+: A\u00a0First-Order Logic Framework for\u00a0Automated Improvement of\u00a0Metabolic Network Models Through Abduction","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4387430215","doi":"https://doi.org/10.1007/978-3-031-45275-8_42"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-45275-8_42","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-45275-8_42","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-45275-8_42.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-45275-8_42.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026833582","display_name":"Alexander H. Gower","orcid":"https://orcid.org/0000-0002-8358-0842"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Alexander H. Gower","raw_affiliation_strings":["Chalmers University of Technology, Gothenburg, Sweden"],"raw_orcid":"https://orcid.org/0000-0002-8358-0842","affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040847270","display_name":"Konstantin Korovin","orcid":"https://orcid.org/0000-0002-0740-621X"},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Konstantin Korovin","raw_affiliation_strings":["The University of Manchester, Manchester, UK"],"raw_orcid":"https://orcid.org/0000-0002-0740-621X","affiliations":[{"raw_affiliation_string":"The University of Manchester, Manchester, UK","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057648454","display_name":"Daniel Brunns\u00e5ker","orcid":"https://orcid.org/0000-0002-5167-0536"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Daniel Brunns\u00e5ker","raw_affiliation_strings":["Chalmers University of Technology, Gothenburg, Sweden"],"raw_orcid":"https://orcid.org/0000-0002-5167-0536","affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035880685","display_name":"Ievgeniia Tiukova","orcid":"https://orcid.org/0000-0002-0408-3515"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]},{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Ievgeniia A. Tiukova","raw_affiliation_strings":["Chalmers University of Technology, Gothenburg, Sweden","KTH Royal Institute of Technology, Stockholm, Sweden"],"raw_orcid":"https://orcid.org/0000-0002-0408-3515","affiliations":[{"raw_affiliation_string":"Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020822487","display_name":"Ross D. King","orcid":"https://orcid.org/0000-0001-7208-4387"},"institutions":[{"id":"https://openalex.org/I241749","display_name":"University of Cambridge","ror":"https://ror.org/013meh722","country_code":"GB","type":"education","lineage":["https://openalex.org/I241749"]},{"id":"https://openalex.org/I4210128584","display_name":"The Alan Turing Institute","ror":"https://ror.org/035dkdb55","country_code":"GB","type":"facility","lineage":["https://openalex.org/I4210128584"]},{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["GB","SE"],"is_corresponding":false,"raw_author_name":"Ross D. King","raw_affiliation_strings":["Alan Turing Institute, London, UK","Cambridge University, Cambridge, UK","Chalmers University of Technology, Gothenburg, Sweden"],"raw_orcid":"https://orcid.org/0000-0001-7208-4387","affiliations":[{"raw_affiliation_string":"Alan Turing Institute, London, UK","institution_ids":["https://openalex.org/I4210128584"]},{"raw_affiliation_string":"Cambridge University, Cambridge, UK","institution_ids":["https://openalex.org/I241749"]},{"raw_affiliation_string":"Chalmers University of Technology, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5026833582"],"corresponding_institution_ids":["https://openalex.org/I66862912"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"628","last_page":"643"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10932","display_name":"Microbial Metabolic Engineering and Bioproduction","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10932","display_name":"Microbial Metabolic Engineering and Bioproduction","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10887","display_name":"Bioinformatics and Genomic Networks","score":0.9951000213623047,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10171","display_name":"Biofuel production and bioconversion","score":0.9919000267982483,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7348193526268005},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.5984086990356445},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5552305579185486},{"id":"https://openalex.org/keywords/flux-balance-analysis","display_name":"Flux balance analysis","score":0.5454760789871216},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.545059859752655},{"id":"https://openalex.org/keywords/systems-biology","display_name":"Systems biology","score":0.48836466670036316},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.46374282240867615},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.41803160309791565},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36506199836730957},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.34578973054885864},{"id":"https://openalex.org/keywords/computational-biology","display_name":"Computational biology","score":0.2959316670894623},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.18610069155693054},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1531406044960022}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7348193526268005},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.5984086990356445},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5552305579185486},{"id":"https://openalex.org/C167091322","wikidata":"https://www.wikidata.org/wiki/Q5463029","display_name":"Flux balance analysis","level":2,"score":0.5454760789871216},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.545059859752655},{"id":"https://openalex.org/C152662350","wikidata":"https://www.wikidata.org/wiki/Q815297","display_name":"Systems biology","level":2,"score":0.48836466670036316},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.46374282240867615},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.41803160309791565},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36506199836730957},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.34578973054885864},{"id":"https://openalex.org/C70721500","wikidata":"https://www.wikidata.org/wiki/Q177005","display_name":"Computational biology","level":1,"score":0.2959316670894623},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.18610069155693054},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1531406044960022},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-031-45275-8_42","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-45275-8_42","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-45275-8_42.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire/e3a9e7a9-dd75-4576-9dff-d9764bb4ef83","is_oa":true,"landing_page_url":"https://research.manchester.ac.uk/en/publications/e3a9e7a9-dd75-4576-9dff-d9764bb4ef83","pdf_url":null,"source":{"id":"https://openalex.org/S4306400662","display_name":"Research Explorer (The University of Manchester)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I28407311","host_organization_name":"University of Manchester","host_organization_lineage":["https://openalex.org/I28407311"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Gower, A H, Korovin, K, Brunns\u00e5ker, D, Tiukova, I A & King, R D 2023, LGEM+: A\u00a0First-Order Logic Framework for\u00a0Automated Improvement of\u00a0Metabolic Network Models Through Abduction. in 26th International Conference, 2023. vol. 14276, Discovery Science, vol. 14276, Springer Cham, pp. 628-643. https://doi.org/10.1007/978-3-031-45275-8_42","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:research.chalmers.se:538006","is_oa":true,"landing_page_url":"https://research.chalmers.se/en/publication/538006","pdf_url":"https://research.chalmers.se/publication/538006/file/538006_Fulltext.pdf","source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null}],"best_oa_location":{"id":"doi:10.1007/978-3-031-45275-8_42","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-45275-8_42","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-45275-8_42.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1624854436","display_name":null,"funder_award_id":"EP/R022925/2","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G162920118","display_name":"AMBITION: AI-driven biomedical robotic automation for research continuity","funder_award_id":"EP/W004801/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5225033141","display_name":null,"funder_award_id":"2020-01690","funder_id":"https://openalex.org/F4320321033","funder_display_name":"Svenska Forskningsr\u00e5det Formas"},{"id":"https://openalex.org/G6794588096","display_name":null,"funder_award_id":"EP/W004801/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8484007685","display_name":"ACTION on cancer","funder_award_id":"EP/R022925/2","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320321033","display_name":"Svenska Forskningsr\u00e5det Formas","ror":"https://ror.org/03pjs1y45"},{"id":"https://openalex.org/F4320321523","display_name":"Chalmers Tekniska H\u00f6gskola","ror":"https://ror.org/040wg7k59"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4387430215.pdf"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W26338302","https://openalex.org/W1963760518","https://openalex.org/W1986656046","https://openalex.org/W2015313662","https://openalex.org/W2030776070","https://openalex.org/W2034854788","https://openalex.org/W2043127449","https://openalex.org/W2048465561","https://openalex.org/W2078355959","https://openalex.org/W2085993965","https://openalex.org/W2100236180","https://openalex.org/W2128572161","https://openalex.org/W2136636278","https://openalex.org/W2142437744","https://openalex.org/W2153283265","https://openalex.org/W2174352784","https://openalex.org/W2207916574","https://openalex.org/W2580505401","https://openalex.org/W2965590414","https://openalex.org/W2979052501","https://openalex.org/W4210651685","https://openalex.org/W4283733937","https://openalex.org/W4294216483"],"related_works":["https://openalex.org/W1511249877","https://openalex.org/W1578828174","https://openalex.org/W2950376466","https://openalex.org/W2000943029","https://openalex.org/W2020641517","https://openalex.org/W3033588432","https://openalex.org/W2216418212","https://openalex.org/W2075919068","https://openalex.org/W4253883836","https://openalex.org/W2540651481"],"abstract_inverted_index":{"Abstract":[0],"Scientific":[1],"discovery":[2],"in":[3,158],"biology":[4,51],"is":[5,52,66,229],"difficult":[6],"due":[7],"to":[8,30,40,53,201,219],"the":[9,12,16,35,59,67,122,146,173,176,205,212,224],"complexity":[10],"of":[11,18,58,79,105,154,175,190],"systems":[13],"involved":[14],"and":[15,37,71,92,126,187,210,234],"expense":[17],"obtaining":[19],"high":[20],"quality":[21],"experimental":[22],"data.":[23],"Automated":[24],"techniques":[25],"are":[26,76],"a":[27,55,87,99,109,127],"promising":[28],"way":[29],"make":[31],"scientific":[32],"discoveries":[33],"at":[34],"scale":[36],"pace":[38],"required":[39],"model":[41,57,169],"large":[42],"biological":[43],"systems.":[44],"A":[45],"key":[46],"problem":[47],"for":[48,89,101,114,168],"21st":[49],"century":[50],"build":[54],"computational":[56],"eukaryotic":[60],"cell.":[61],"The":[62],"yeast":[63],"Saccharomyces":[64],"cerevisiae":[65,156],"best":[68],"understood":[69],"eukaryote,":[70],"genome-scale":[72],"metabolic":[73],"models":[74],"(GEMs)":[75],"rich":[77],"sources":[78],"background":[80],"knowledge":[81,124],"that":[82,134],"we":[83,197],"can":[84,151],"use":[85],"as":[86,121],"basis":[88],"automated":[90,102,147],"inference":[91,136],"investigation.":[93],"We":[94,132,171,208,217],"present":[95],"LGEM":[96,142,161],"+":[97,143,162],",":[98,144],"system":[100],"abductive":[103],"improvement":[104],"GEMs":[106,120],"consisting":[107],"of:":[108],"compartmentalised":[110],"first-order":[111],"logic":[112,206],"framework":[113],"describing":[115],"biochemical":[116],"pathways":[117],"(using":[118],"curated":[119],"expert":[123],"source);":[125],"two-stage":[128],"hypothesis":[129],"abduction":[130],"procedure.":[131],"demonstrate":[133],"deductive":[135],"on":[137],"logical":[138],"theories":[139],"created":[140],"using":[141,145,179,214,223],"theorem":[148],"prover":[149],"iProver,":[150],"predict":[152],"growth/no-growth":[153],"S.":[155],"strains":[157],"minimal":[159],"media.":[160],"proposed":[163],"2094":[164],"unique":[165],"candidate":[166],"hypotheses":[167,178,213,222],"improvement.":[170],"assess":[172],"value":[174],"generated":[177],"two":[180],"criteria:":[181],"(a)":[182],"genome-wide":[183],"single-gene":[184],"essentiality":[185],"prediction,":[186],"(b)":[188,196],"constraint":[189],"flux-balance":[191],"analysis":[192],"(FBA)":[193],"simulations.":[194],"For":[195],"developed":[198],"an":[199],"algorithm":[200],"integrate":[202],"FBA":[203],"with":[204],"model.":[207],"rank":[209],"filter":[211],"these":[215,221],"assessments.":[216],"intend":[218],"test":[220],"robot":[225],"scientist":[226],"Genesis,":[227],"which":[228],"based":[230],"around":[231],"chemostat":[232],"cultivation":[233],"high-throughput":[235],"metabolomics.":[236]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}