Keyphrases
- theorem prover
- user interface design
- invited talk
- human computer interaction
- user interface
- user centered
- first order logic
- theorem proving
- inference rules
- interface design
- selected papers
- term rewriting
- educational games
- knowledge discovery and data mining
- natural deduction
- formal proof
- proof search
- database
- learning technologies
- knowledge representation
- training data
- user interaction
- ontology learning
- case study
- information systems
- databases