Keyphrases
- knowledge base
- description logics
- computer programs
- programming environment
- inference engine
- knowledge based systems
- provably correct
- automatic programming
- knowledge sources
- wordnet
- knowledge representation
- neural network
- logic programming
- knowledge acquisition
- information technology
- natural language
- e learning
- stable models
- databases