On the Use of Temporal Formal Logic to Model Gene Regulatory Networks.

Gilles Bernot Jean-Paul Comet

Published in: CIBB (2009)

Keyphrases

gene regulatory networks
network model
data sets
probabilistic model
theoretical framework
information retrieval
artificial intelligence
probability distribution
knowledge discovery
maximum likelihood
formal logic
boolean networks