OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Molecular interaction automated maps

Demolombe, Robert and Fariñas del Cerro, Luis and Obeid, Naji Molecular interaction automated maps. (2013) In: 1st International Workshop on Learning and Non Monotonic Reasoning (LNMR), 15 September 2013 (Corunna, Spain).

(Document in English)

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


Determining the role of genomes and their interference in a cell life cycle has been at the center of metabolic network researches and experiments. Logical representations of such networks aim to guide scientists in their reasoning in general and to help them find inconsistencies and contradictions in their results in particular. This paper presents a new logical model capable of describing both positive (activation) and negative (inhibition) reactions of metabolic pathways based on a fragment of first order logic. An efficient automated deduction method will also be introduced, based on a translation procedure that transform first order formulas into quantifier free formulas.Then questions can either be answered by deduction to predict reaction results or by abductive reasoning to infer reactions and protein states

Item Type:Conference or Workshop Item (Paper)
HAL Id:hal-04082504
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:29 May 2015 13:35

Repository Staff Only: item control page