Login / Signup
MUFFIN: A User Interface Design Experiment for a Theorem Proving Assistant.
Cliff B. Jones
Richard C. Moore
Published 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