OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Automated reasoning in metabolic networks with inhibition

Demolombe, Robert and Fariñas del Cerro, Luis and Obeid, Naji Automated reasoning in metabolic networks with inhibition. (2013) In: 13th International Conference of the Italian Association for Artificial Intelligence (AI*IA), 4 December 2013 - 6 December 2013 (Turin, Italy).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: http://dx.doi.org/10.1007/978-3-319-03524-6_4


The use of artificial intelligence to represent and reason about metabolic networks has been widely investigated due to the complexity of their imbrication. Its main goal is to determine the catalytic role of genomes and their interference in the process. This paper presents a logical model for metabolic pathways capable of describing both positive and negative reactions (activations and inhibitions) based on a fragment of first order logic. We also present a translation procedure that aims to transform first order formulas into quantifier free formulas, creating an efficient automated deduction method allowing us to predict results by deduction and infer reactions and proteins states by abductive reasoning.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in Volume 8249 Lecture Notes in Computer Science ISSN : 0302-9743 ISBN: 978-3-319-03523-9. The original PDF is available at: http://link.springer.com/XXXXhttp://link.springer.com/chapter/10.1007%2F978-3-319-03524-6_4
HAL Id:hal-01159682
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Laboratory name:
Deposited On:28 May 2015 14:33

Repository Staff Only: item control page