Keyphrases
- lecture notes in artificial intelligence
- artificial intelligence
- dagstuhl castle
- lecture notes
- computer science
- international workshop
- advances in artificial intelligence
- international conference
- intelligent systems
- progress in artificial intelligence
- automated deduction
- researchers and practitioners
- conference on artificial intelligence
- artificial intelligence in education
- international symposium
- machine learning
- expert systems
- annual conference
- selected papers
- engineering design
- cognitive science
- software engineering
- knowledge representation