LUIS - A logic for task-oriented user interface specification.
Chris StaryAna PasztorPublished in: Int. J. Intell. Syst. (1995)
Keyphrases
- user interface
- asynchronous circuits
- linear temporal logic
- state machine
- formal language
- transition systems
- logic programming
- user interaction
- multi valued
- end users
- classical logic
- high level
- data sets
- operational semantics
- modal logic
- predicate logic
- databases
- user experience
- human computer interaction
- neural network
- specification language
- logical framework
- formal specification
- conceptual model
- user defined
- expert systems
- information systems
- sound and complete axiomatization