Keyphrases
- lecture notes
- dynamic logic
- computer science
- international symposium
- imperative programs
- reasoning about actions
- modal logic
- lecture notes in artificial intelligence
- advances in artificial intelligence
- machine learning
- agent programming
- propositional dynamic logic
- classical first order logic
- computational intelligence
- information technology
- expert systems
- multiple input