Keyphrases
- commonsense knowledge
- language understanding
- information gathering
- commonsense reasoning
- knowledge representation
- domain specific
- natural language understanding
- automated reasoning
- natural language
- language processing
- domain knowledge
- programming language
- semantic information
- artificial intelligence
- nonmonotonic reasoning
- autonomous agents
- model checking