Keyphrases
- revised selected papers
- computer science
- lecture notes in artificial intelligence
- lecture notes
- international workshop
- formal language
- dynamic logic
- machine learning for multimodal interaction
- programming language
- natural language
- intuitionistic logic
- artificial intelligence
- predicate calculus
- operational semantics
- selected papers
- proof theory
- predicate logic
- language learning
- formal theory
- agent programming
- linear temporal logic
- logic programs
- fuzzy logic
- highly expressive
- conditional logic
- formal logic
- modal operators
- international conference
- computational intelligence
- knowledge base