Keyphrases
- lecture notes
- computer science
- lecture notes in artificial intelligence
- international symposium
- advances in artificial intelligence
- international workshop
- software tools
- international conference
- working conference
- advances in information retrieval
- computer society
- knowledge discovery and data mining
- information retrieval
- building blocks
- decision support
- website
- statistical tests
- formal proofs
- progress in artificial intelligence
- conference on artificial intelligence
- user friendly
- test cases
- intelligent systems
- case study
- artificial intelligence