Keyphrases
- theorem proving
- acm sigkdd
- knowledge discovery and data mining
- lecture notes
- computer science
- springer verlag
- naacl hlt
- proof planning
- theorem prover
- international workshop
- decision procedures
- automated theorem proving
- first order logic
- international conference
- term rewriting
- geometry theorem proving
- cyber security and information intelligence
- selected papers
- automated deduction
- proof procedure
- workshop on artificial intelligence
- inference rules
- automated reasoning
- international symposium
- automatic programming
- invited talk
- human computation
- proof search
- parallel search
- natural language processing
- student research workshop
- acm sigmod
- logical inference
- computer society
- natural deduction
- poster session
- consequence finding
- computer algebra
- probabilistic model
- computer science education
- propositional logic
- artificial intelligence