From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools.

François Fages

Published in: Trans. Comp. Sys. Biology (2006)

Keyphrases

automated reasoning
systems biology
high throughput
cell biology
knowledge representation
biological networks

biological data
biological systems
theorem proving
theorem prover
probabilistic reasoning

logic programming
molecular biology
knowledge base
gene regulatory networks
microarray

protein protein interactions
data sets
gene expression
probabilistic model
databases