The logic of definitional reflection is extended with a theory of free equality. Based on this equality theory a sequent-style notion of the completion of a definition is motivated...
In the recent development ofwrious models of learning inspired by the PAC learning model (introduced by Valiant) there has been a trend towards models which are as representation ...
The paper discusses the motivation for, heritage, architecture and future development plans of the FuzzyCOPE software environment. FuzzyCOPE is a free software environment for tea...
This paper reports on my doctoral work done at UCLIC that looks at how novel input devices affect the gaming experience. The paper presents the motivation, question, methodology, ...
We present the concept and motivations for the development of Affect Listeners, conversational systems aiming to detect and adapt to affective states of users, and meaningfully res...