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