Keyphrases
- theorem prover
- lecture notes
- computer science
- user interface
- acm sigkdd
- lecture notes in artificial intelligence
- theorem proving
- automated reasoning
- international workshop
- inference rules
- international symposium
- automated theorem proving
- naacl hlt
- first order logic
- international conference
- computer algebra
- cyber security and information intelligence
- selected papers
- workshop on artificial intelligence
- advances in artificial intelligence
- automated deduction
- higher order logic
- formal semantics
- timed automata
- knowledge discovery and data mining
- eu funded project
- proof search
- end users
- human computation
- student research workshop
- acm sigmod
- machine learning
- working conference
- graphical user interfaces
- proceedings of the th international conference
- hong kong
- data mining