Automated Reasoning in Metabolic Networks with Inhibition.

Robert Demolombe Luis Fariñas del Cerro Naji Obeid

Published in: AI*IA (2013)

Keyphrases

automated reasoning
metabolic networks
biological data
knowledge representation
escherichia coli
theorem proving
theorem prover
probabilistic reasoning
ideally suited
metabolic pathways
biologically relevant
biological networks
systems biology
data mining
data integration
knowledge base
social networks