Keyphrases
- international workshop
- theorem prover
- selected papers
- theorem proving
- first order logic
- term rewriting
- pacific rim
- domain driven data mining
- automated theorem proving
- lecture notes in artificial intelligence
- inference rules
- acm sigkdd
- formal proof
- revised selected papers
- proof search
- formal semantics
- boolean algebra
- invited talk
- natural language learning
- natural deduction
- machine learning
- lecture notes
- artificial intelligence