Keyphrases
- automated theorem proving
- theorem prover
- theorem proving
- answer set programming
- artificial intelligence
- classical logic
- cognitive science
- computational intelligence
- database
- rough sets
- artificial intelligence and cognitive science
- logic programming
- programming language
- general purpose
- software engineering
- object oriented
- search algorithm
- training data
- real world