Graphical Theories of Interactive Systems: Can a Proof Assistant Help?

Published in: TPHOLs (2000)

Keyphrases

interactive systems
human computer interaction
test bed
user interface
social intelligence
intelligent tutoring systems
theorem proving
computational models
cognitive psychology
digital entertainment
database
knowledge base
theorem prover
causal reasoning