From Syntax to Semantics in Systems Biology Towards Automated Reasoning Tools.
François FagesPublished 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