Learn More
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based on experimental results are often incomplete, e.g., reactions may be missing and only some products are observed. In such cases, one would like to reason about incomplete network(More)
1 Introduction We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient (wsc) and strongest necessary conditions (snc) may be used to provide additional information in the context of an incomplete model of metabolic pathways. It is assumed that any reaction is specified by:  l , (1) where n is a label(More)
  • 1