Towards the formalization of interaction semantics.

Irene Celino Francesco Corcoglioniti

Published in: I-SEMANTICS (2010)

Keyphrases

logical language
operational semantics
human computer interaction
logic programming
formal semantics
expert systems
knowledge representation
database
machine learning
knowledge base
user interaction
human interaction
argumentation frameworks
transformation rules
multi touch
update semantics