Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks.
Pedro T. MonteiroDelphine RopersRadu MateescuAna T. FreitasHidde de JongPublished in: ECAI (2008)
Keyphrases
- temporal logic
- genetic regulatory networks
- qualitative models
- model checking
- dynamic systems
- reverse engineering
- steady state
- qualitative reasoning
- qualitative and quantitative
- gene regulatory networks
- qualitative simulation
- ordinary differential equations
- biological networks
- model construction
- pattern mining
- software engineering
- artificial intelligence
- complex systems
- model based diagnosis
- inference engine
- multi agent