We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of thes...
Abstract. In this paper we investigate the specification and verification of information systems with an organizational structure. Such systems are modelled as a normative multia...
Leendert W. N. van der Torre, Joris Hulstijn, Mehd...
Small group learning combined with innovative teaching methods were introduced at tertiary level to teach computer-related subjects. Teams wereconstituted according to Belbin'...
Isabella M. Venter, Renette J. Blignaut, Deon Stol...