Abstract. In this paper we utilize information theory to study the impact in learning performance of various motivation and environmental configurations. This study is done within...
This paper proposes a pedagogical framework for informal language learning services via interactive television. We argue that mapping current language learning theories onto learn...
In this paper we present a coordination approach towards creating and maintaining alignment between the business and its support systems. The business objectives are related to the...
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
Petros Kefalas, George Eleftherakis, Evangelos Keh...
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...