Keyphrases
- revised selected papers
- dynamic logic
- lecture notes in artificial intelligence
- international workshop
- lecture notes
- modal logic
- machine learning for multimodal interaction
- reasoning about actions
- computer science
- international conference
- propositional dynamic logic
- artificial intelligence
- imperative programs
- agent programming
- quality assurance
- first order logic
- neural network
- general purpose
- genetic algorithm
- selected papers
- information retrieval
- multiple input
- databases