Keyphrases
- lecture notes in artificial intelligence
- lecture notes
- book constitutes the refereed proceedings
- international conference
- international symposium
- computer science
- international workshop
- advances in artificial intelligence
- conference on artificial intelligence
- artificial intelligence
- theorem proving
- theorem prover
- knowledge discovery and data mining
- formal proof
- working conference
- formal proofs
- atlantic web intelligence
- united states
- ambient intelligence
- pacific rim
- intelligent web
- test cases
- data mining
- advances in information retrieval
- international conference on machine learning
- progress in artificial intelligence
- neural network