A Modal Logic for the CARE Usability Properties for Multimodal User Interfaces.
Nadjet KamelSid-Ahmed SelouaniHabib HamamPublished in: Software Engineering Research and Practice (2008)
Keyphrases
- modal logic
- user interface
- temporal logic
- decision procedures
- inference rules
- user experience
- long term
- desirable properties
- kripke models
- multi modal
- situation calculus
- nonmonotonic logics
- eu funded project
- explanation based generalization
- epistemic logic
- classical logic
- interface design
- model checking
- multimodal interfaces
- dynamic logic
- general logic programs
- end users
- user interface design
- design principles
- modal operators
- domain knowledge