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