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