Keyphrases
- revised selected papers
- automated deduction
- lecture notes
- computer science
- lecture notes in artificial intelligence
- theorem proving
- artificial intelligence
- theorem prover
- international workshop
- three dimensional
- machine learning for multimodal interaction
- inference rules
- researchers and practitioners
- deductive databases
- logic programming
- data mining
- international symposium
- knowledge representation
- machine learning
- databases
- database
- hong kong
- knowledge base
- real world