Keyphrases
- lecture notes
- theorem prover
- computer science
- computer algebra systems
- automated theorem proving
- acm sigkdd
- international symposium
- theorem proving
- automated reasoning
- computer algebra
- international conference
- first order logic
- inference rules
- selected papers
- naacl hlt
- international workshop
- automated deduction
- human computation
- higher order logic
- advances in artificial intelligence
- formal semantics
- proof search
- machine learning
- cyber security and information intelligence
- workshop on artificial intelligence
- hong kong
- knowledge discovery and data mining
- working conference
- student research workshop
- acm sigmod
- lower layers
- artificial intelligence
- lecture notes in artificial intelligence