Keyphrases
- natural language
- revised selected papers
- programming language
- formal language
- dynamic logic
- international workshop
- proof theory
- operational semantics
- logic programming
- intuitionistic logic
- classical logic
- agent programming
- formal logic
- modal logic
- highly expressive
- order sorted
- modal operators
- formal theory
- mathematical theory
- conditional logic
- language learning
- virtual environment
- predicate calculus
- intended meaning
- artificial intelligence
- machine learning for multimodal interaction
- neural network