Keyphrases
- automated deduction
- theorem proving
- theorem prover
- logic programming
- inference rules
- deductive databases
- data sets
- case study
- knowledge representation
- background knowledge
- neural network
- temporal relations
- similarity measure
- search algorithm
- probability distribution
- real time
- first order logic
- semantic relations
- data mining