Keyphrases
- theorem proving
- acm sigkdd
- international workshop
- knowledge discovery and data mining
- selected papers
- theorem prover
- naacl hlt
- proof planning
- decision procedures
- international conference
- automated reasoning
- automated theorem proving
- geometry theorem proving
- first order logic
- inference rules
- cyber security and information intelligence
- workshop on artificial intelligence
- automated deduction
- proof procedure
- invited talk
- automatic programming
- term rewriting
- proof search
- parallel search
- natural language processing
- consequence finding
- logical inference
- human computation
- distributed search
- international symposium
- student research workshop
- researchers and practitioners
- predicate calculus
- acm sigmod
- natural deduction
- combinatorial search
- lecture notes