Keyphrases
- automated deduction
- lecture notes
- computer science
- lecture notes in artificial intelligence
- theorem proving
- theorem prover
- international conference
- international symposium
- inference rules
- international workshop
- logic programming
- advances in artificial intelligence
- advances in information retrieval
- database
- deductive databases
- computational intelligence
- working conference
- bayesian networks