Keyphrases
- lecture notes
- computer science
- lecture notes in artificial intelligence
- international symposium
- advances in artificial intelligence
- international conference
- international workshop
- artificial intelligence
- theorem proving
- advances in information retrieval
- formal proofs
- formal proof
- test cases
- data mining
- neural network
- theorem prover
- natural deduction
- conference on artificial intelligence
- database
- intelligent systems
- information technology
- data sets