Keyphrases
- revised selected papers
- dynamic logic
- lecture notes
- computer science
- lecture notes in artificial intelligence
- machine learning for multimodal interaction
- modal logic
- reasoning about actions
- international workshop
- imperative programs
- knowledge discovery and data mining
- international symposium
- first order logic
- agent programming
- czech republic
- propositional dynamic logic
- special issue
- hong kong
- ifip th world computer congress
- selected papers
- high level