Keyphrases
- lecture notes
- book constitutes the refereed proceedings
- international symposium
- international conference
- computer science
- international workshop
- conference on artificial intelligence
- lecture notes in artificial intelligence
- invited talk
- carefully reviewed and selected from submissions
- advances in artificial intelligence
- atlantic web intelligence
- selected papers
- computational intelligence
- ambient intelligence
- intelligent web
- theorem proving
- artificial intelligence in education
- papers cover
- advances in information retrieval
- equational theories
- learning analytics and knowledge