Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
A panel of experts on human computer interaction (HCI) argues about who is best placed to `own' HCI and the user centred design process, The experts come from a range of priv...
“Gamification” is an informal umbrella term for the use of video game elements in non-gaming systems to improve user experience (UX) and user engagement.
Sebastian Deterding, Miguel Sicart, Lennart Nacke,...
The interoperability among distributed and autonomous systems is the ultimate challenge facing the semantic web. Heterogeneity of data representation is the main source of problem...
Empirical game theory allows studying the strategic interactions of agents in simulations. Specifically, traditional game theory describes such interactions by an analytical model...
Thierry Moyaux, Brahim Chaib-draa, Sophie D'Amours