Keyphrases
- theorem prover
- formal methods
- natural deduction
- higher order logic
- theorem proving
- higher order
- first order logic
- relational databases
- high level
- domain specific
- knowledge based systems
- inference rules
- conditional probabilities
- test cases
- artificial intelligence
- supervised learning
- software engineering
- semi supervised
- decision trees