Keyphrases
- automated theorem proving
- selection strategy
- theorem prover
- theorem proving
- selection strategies
- answer set programming
- selection algorithm
- first order logic
- real time
- machine learning
- graphical models
- general purpose
- fuzzy logic
- active learning
- decision trees
- information systems
- optimal strategy
- selection criterion
- search engine