Keyphrases
- lecture notes
- computer science
- lecture notes in artificial intelligence
- international symposium
- advances in artificial intelligence
- international conference
- international workshop
- software tools
- artificial intelligence
- advances in information retrieval
- conference on artificial intelligence
- data sets
- theorem prover
- international conference on machine learning
- book constitutes the refereed proceedings
- design tools
- hong kong
- building blocks
- end users
- web services
- data mining