Operationalizing Operational Logics: Semiotic Knowledge Representations for Interactive Systems.

Joseph C. Osborn

Published in: IJCAI (2017)

Keyphrases

interactive systems
human computer interaction
modal logic
expressive power
user interface
digital entertainment
inference rules
neural network
temporal logic
decision making
social intelligence
data sets
model checking
case study
decision trees
multimedia
epistemic logic