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