Machine Learning Biochemical Networks from Temporal Logic Properties.
Laurence CalzoneNathalie Chabrier-RivierFrançois FagesSylvain SolimanPublished in: Trans. Comp. Sys. Biology (2006)
Keyphrases
- temporal logic
- biochemical networks
- machine learning
- model checking
- modal logic
- temporal properties
- linear temporal logic
- data sets
- structural properties
- verification method
- mazurkiewicz traces
- natural language processing
- bounded model checking
- knowledge representation
- artificial intelligence
- belief revision
- transition systems
- reactive systems
- gene expression
- text mining
- knowledge discovery
- reinforcement learning
- data mining