Keyphrases
- lecture notes
- computer science
- dagstuhl castle
- lecture notes in artificial intelligence
- international symposium
- artificial intelligence
- advances in artificial intelligence
- theorem prover
- theorem proving
- test cases
- selected papers
- machine learning
- international workshop
- advances in information retrieval
- proceedings of the th international conference
- knowledge discovery
- information retrieval