A Tableau Calculus for Minimal Model Reasoning
TABLEAUX '96 Proceedings of the 5th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods
Recovering metabolic pathways via optimization
Bioinformatics
Path finding approaches and metabolic pathways
Discrete Applied Mathematics
Metabolic Network Expansion with Answer Set Programming
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Analyzing pathways using SAT-based approaches
AB'07 Proceedings of the 2nd international conference on Algebraic biology
Logic-Based Steady-State Analysis and Revision of Metabolic Networks with Inhibition
CISIS '10 Proceedings of the 2010 International Conference on Complex, Intelligent and Software Intensive Systems
Minimal sets over monotone predicates in boolean formulae
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
On computing minimal correction subsets
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
| Hi-index | 0.00 |
In systems biology, identifying vital functions like glycolysis from a given metabolic pathway is important to understand living organisms. In this paper, we focus on the problem of finding minimal sub-pathways producing target metabolites from source metabolites. We translate laws of biochemical reactions into propositional formulas and compute its minimal models to solve the problem. An advantage of our method is that it can treat reversible reactions. Moreover the translation enables us to obtain solutions for large pathways. We apply our method to a whole Escherichia coli metabolic pathway. As a result, we have found the conventional glycolysis sub-pathway described in a biological database EcoCyc.