BRE: IN - A Backend for Reasoning About Interaction Networks with Temporal Logic.
Judah GoldfederHillel KuglerPublished in: CMSB (2019)
Keyphrases
- temporal logic
- back end
- interaction networks
- model checking
- systems biology
- modal logic
- user friendly
- data management
- biological processes
- data types
- high throughput
- belief revision
- biological networks
- protein function
- biological systems
- gene regulatory networks
- complex networks
- qualitative reasoning
- building blocks
- database systems
- databases
- protein protein interaction networks
- social networks
- mass spectrometry
- machine learning
- biological data
- reverse engineering