Keyphrases
- dynamic logic
- international conference
- international workshop
- lecture notes
- lecture notes in artificial intelligence
- revised selected papers
- computational intelligence
- book constitutes the refereed proceedings
- reasoning about actions
- modal logic
- imperative programs
- computer science
- international symposium
- propositional dynamic logic
- advances in artificial intelligence
- agent programming
- international conference on machine learning
- pacific rim
- multiple input
- selected papers
- knowledge discovery and data mining
- intelligence and security informatics
- conference on artificial intelligence
- machine learning
- proceedings of the th international conference
- high level
- knowledge base