Social and Semiotic Analyses for Theorem Prover User Interface Design 1.
Joseph A. GoguenPublished in: Formal Aspects Comput. (1999)
Keyphrases
- learning styles
- theorem prover
- user interface design
- human computer interaction
- user interface
- theorem proving
- user centered
- inference rules
- first order logic
- term rewriting
- social networks
- interface design
- learning process
- social media
- automated theorem proving
- proof search
- social networking
- formal proof
- natural deduction
- ontology learning
- logic programs
- supervised learning
- machine learning