Reasoning About Interactive Systems.

Ralph-Johan Back Anna Mikhajlova Joakim von Wright

Published in: World Congress on Formal Methods (1999)

Keyphrases

interactive systems
human computer interaction
user interface
spatial reasoning
practical reasoning
formal theory
social intelligence
computer vision
digital entertainment
qualitative reasoning
expert systems
data sets
special case
multi agent systems
learning environment
reinforcement learning
web services