Keyphrases
- molecular biology
- automated reasoning
- knowledge representation
- biological data
- computational biology
- biological information
- theorem prover
- probabilistic reasoning
- theorem proving
- microarray
- protein structure
- phylogenetic analysis
- nucleotide sequences
- gene expression
- data analysis
- end users
- artificial intelligence
- machine learning