Keyphrases
- commonsense reasoning
- language processing
- knowledge representation
- nonmonotonic reasoning
- natural language processing
- natural language
- human language technology
- event calculus
- machine translation
- incomplete information
- human language
- formal theory
- information retrieval
- artificial intelligence
- machine learning
- logic programming
- classical logic
- autoepistemic logic
- grammar induction
- default logic
- missing information
- description logics
- domain specific
- partially ordered
- query language
- data model