Foundations of logic programming
Foundations of logic programming
User models in dialog systems
Synchronization models for multimedia presentation with user participation
MULTIMEDIA '93 Proceedings of the first ACM international conference on Multimedia
Spatio-temporal composition and indexing for large multimedia applications
Multimedia Systems
Maintaining knowledge about temporal intervals
Communications of the ACM
Specifying and Authoring Multimedia Scenarios
IEEE MultiMedia
Interactive authoring of multimedia documents in a constraint-based authoring system
Multimedia Systems - Special section on video libraries
Petri net models for describing multimedia synchronization requirements
ICNP '95 Proceedings of the 1995 International Conference on Network Protocols
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
ANALYSIS OF ASYNCHRONOUS CONCURRENT SYSTEMS BY TIMED PETRI NETS
A temporal reference framework for multimedia synchronization
IEEE Journal on Selected Areas in Communications
| Hi-index | 0.00 |
A cooperative interface that, using suitable user models, alters the processing of the user's queries to include additional information that will block faulty inferences is described. In a sense, the interface actively teaches the user facts about the database not explicitly asked for. User interaction with the database then becomes a learning and discovery process guided by the queries posed to the interface. A semantics for user models is introduced that captures, with the help of default logic, the nonmonotonic behavior users normally exhibit. Results showing that the cooperative interface generates enough additional information to block all faulty inferences are presented.