Keyphrases
- lecture notes
- computer science
- lecture notes in artificial intelligence
- international symposium
- advances in artificial intelligence
- artificial intelligence
- international workshop
- conference on artificial intelligence
- theorem proving
- advances in information retrieval
- knowledge discovery and data mining
- researchers and practitioners
- hong kong
- theorem prover
- mathematical proofs
- mathematical knowledge
- equational theories
- data sets
- international conference
- intelligent systems
- artificial neural networks
- information technology
- neural network