Engineering the usability of visual formalisms: a case study in real time logics.
M. LusiniEnrico VicarioPublished in: AVI (1998)
Keyphrases
- real time
- case study
- control system
- engineering design
- artificial intelligence
- knowledge representation formalisms
- haptic feedback
- modal logic
- visual information
- expressive power
- low cost
- software engineering
- knowledge representation
- logic programming
- visual features
- design process
- real time systems
- conditional logic
- computer science
- low level
- nonmonotonic reasoning
- computational properties
- visual feedback
- gaze contingent
- high level
- smooth pursuit