Keyphrases
- revised selected papers
- lecture notes in artificial intelligence
- computer science
- lecture notes
- international workshop
- artificial intelligence
- dynamic logic
- proof theory
- machine learning for multimodal interaction
- formal theory
- programming language
- logic programming
- language learning
- formal language
- operational semantics
- linear temporal logic
- conditional logic
- classical logic
- formal logic
- intuitionistic logic
- predicate calculus
- selected papers
- international conference
- agent programming
- highly expressive
- databases
- knowledge representation
- association rules
- order sorted