Steve Kertes

  • Citations Per Year
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)
Suppose one is given a (incomplete) specification of a set of interacting reactions. We would use this set of formulas as the background theory T . Suppose additionally, that a number of observations are made referring to reactions known to have occurred, or compounds known to be available for participation in a reaction, etc. Let α denote the formula(More)
  • 1