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