Interacting with the Logic of the Problem: Specifying and Prototyping Interactive Systems.

Published in: ALPUK (1991)

Keyphrases

interactive systems
human computer interaction
logic programming
user interface
digital entertainment
multi valued
machine learning
linear logic
design process
development process
relational databases
set theory
website
social intelligence
predicate logic
deontic logic
genetic algorithm
database