Formalization of Zsyntax to Reason About Molecular Pathways in HOL4.
Sohaib AhmadOsman HasanUmair SiddiqueSofiène TaharPublished in: SBMF (2014)
Keyphrases
- signaling pathways
- three dimensional
- knowledge representation
- formal model
- theorem prover
- molecular interactions
- signal transduction
- higher order logic
- biological pathways
- formal methods
- drug discovery
- systems biology
- chemical reactions
- theorem proving
- molecular structure
- modal logic
- drug resistance
- artificial intelligence