Employing the Inference Rules of Predicate Logic for Predicting Protein Functions.
Kamal TahaPublished in: BHI (2019)
Keyphrases
- inference rules
- predicate logic
- predicting protein
- modal logic
- temporal logic
- secondary structure
- first order logic
- theorem proving
- knowledge representation and reasoning
- theorem prover
- computational linguistics
- protein protein interactions
- protein interaction
- semantic network
- artificial intelligence
- lower level
- conditional probabilities
- training data