Keyphrases
- czech republic
- revised selected papers
- dynamic logic
- lecture notes
- computer science
- ambient intelligence
- international workshop
- lecture notes in artificial intelligence
- selected papers
- modal logic
- machine learning for multimodal interaction
- international symposium
- reasoning about actions
- artificial intelligence
- imperative programs
- agent programming
- propositional dynamic logic
- first order logic
- multiple input
- data mining
- knowledge discovery