MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant.
Cliff B. JonesRichard C. MoorePublished in: VDM Europe (1988)
Keyphrases
- theorem proving
- user interface design
- human computer interaction
- user interface
- first order logic
- user centered
- term rewriting
- interface design
- inference rules
- theorem prover
- proof procedure
- educational games
- consequence finding
- parallel search
- ontology learning
- proof planning
- geometry theorem proving
- mobile learning
- artificial intelligence
- information retrieval
- inductive logic programming
- software engineering
- knowledge representation
- expert systems
- machine learning