Keyphrases
- revised selected papers
- automated deduction
- lecture notes
- lecture notes in artificial intelligence
- computer science
- theorem proving
- machine learning for multimodal interaction
- artificial intelligence
- theorem prover
- international workshop
- international symposium
- inference rules
- logic programming
- three dimensional
- deductive databases
- association rules
- neural network
- researchers and practitioners
- context aware
- machine learning
- artificial neural networks
- database systems
- databases
- database