The temporal logic of branching time
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Correcting misconceptions: What to say when the user is mistaken
CHI '83 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Cooperative responses from a portable natural language data base query system.
Cooperative responses from a portable natural language data base query system.
A modal temporal logic for reasoning about change
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
A modal temporal logic for reasoning about change
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
Hi-index | 0.00 |
This paper discusses some of our research into detecting and reconciling critical differences between a user's view of the world and the system's. We feel there is benefit to be gained by separating misconceptions into two main classes: misconce.pt ions about what is the case and misconceptions about what can be the case. We review some initial work in both areas and discuss our work in progress.