Keyphrases
- mixed initiative
- conversational agent
- natural language
- conversational agents
- dialogue system
- logic programming
- classical logic
- natural language interfaces
- dialogue management
- computational properties
- dialog systems
- epistemic logic
- multi valued
- knowledge engineering
- modal logic
- defeasible logic
- human computer
- set theory
- logical framework
- natural deduction
- proof theory
- expressive power