Towards a Logical Analysis of Biochemical Reactions (Extended abstract)
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Conference paper (Refereed)
Proceedings of the 16th European Conference on Artificial Intelligence (ECAI)
Ramon López de Mántaras, Lorenza Saitta
Place of publ.:
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide additional information in the context of an incomplete model of metabolic pathways.