Keyphrases
- theorem prover
- formal methods
- natural deduction
- higher order logic
- theorem proving
- inference rules
- probability distribution
- search algorithm
- knowledge based systems
- conditional logic
- orders of magnitude
- text classification
- domain specific
- description logics
- dimensionality reduction
- programming language
- general purpose
- search space