In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri netbased MAS framework Mulan. By transferring the concept...
Lawrence Cabac, Michael Duvigneau, Daniel Moldt, H...
Agents based on reactive planning architectures use pre-specified plans as behaviour specifications. Normative agents are motivated by norms in their behaviour: obligations motiva...
The role of explicit feedback in learning has been studied from a variety of perspectives and in many contexts. In this paper, we examine the impact of the specificity of feedback ...
Matthew Hays, H. Chad Lane, Daniel Auerbach, Mark ...
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requi...
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...