Keyphrases
- modal logic
- natural language
- temporal logic
- decision procedures
- inference rules
- nonmonotonic logics
- classical logic
- epistemic logic
- machine learning
- knowledge representation
- conditional logic
- dynamic logic
- semantic analysis
- natural language interface
- question answering
- natural language processing
- information extraction
- default logic
- autoepistemic logic
- prime implicates
- semantic interpretation
- language processing
- model checking
- expert systems
- multi agent