Constructivism has gained popularity recently, but it is not a completely new learning paradigm. Much of the work within Information Systems Science (IS) and especially within ele...
In this paper, we derive a second order mean field theory for directed graphical probability models. By using an information theoretic argument it is shown how this can be done in...
The focus of this article is the integration of two different perspectives on lexical semantics: Discourse Representation Theory's (DRT) inferentially motivated approach and ...
We study the computational complexity of finding stable outcomes in symmetric additively-separable hedonic games. These coalition formation games are specified by an undirected e...
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...