Keyphrases
- automated theorem proving
- theorem prover
- theorem proving
- answer set programming
- classical logic
- first order logic
- inference rules
- data mining
- logic programs
- knowledge representation
- relational databases
- natural language
- search algorithm
- constraint satisfaction problems
- programming language
- graphical models
- supervised learning
- knowledge base