Sign in
Alexander H. Gower
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Databases
Transitive Closure
Representation Language
Theorem Prover
Top Venues
DS
</>
Publications
</>
Alexander H. Gower
,
Konstantin Korovin
,
Daniel Brunnsåker
,
Ievgeniia A. Tiukova
,
Ross D. King
: A First-Order Logic Framework for Automated Improvement of Metabolic Network Models Through Abduction.
DS
(2023)
Filip Kronström
,
Alexander H. Gower
,
Ievgeniia A. Tiukova
,
Ross D. King
RIMBO - An Ontology for Model Revision Databases.
DS
(2023)