Keyphrases
- natural language
- formal language
- knowledge representation
- modal logic
- natural language interface
- classical logic
- machine learning
- neural network
- natural language generation
- real time
- abductive reasoning
- language understanding
- predicate logic
- semantic interpretation
- natural language understanding
- automated reasoning
- nonmonotonic logics
- formal semantics
- information systems
- database
- epistemic logic
- logical formulas