We develop a sound foundation for model checking algorithms for the class of PRS-style BDI agents, by showing how a reachability graph for any given PRS-type agent can be construc...
One proposed approach to managing a large complex Smart Grid is through Broker Agents who buy electrical power from distributed producers, and also sell power to consumers, via a ...
This paper addresses the design of an agent model for a social agent capable of understanding other agents in an empathic way. The model describes how the empathic agent deals with...
In this paper, we describe a method for pedagogical agents to choose when to interact with learners in interactive learning environments. This method is based on observations of h...
Active learning is an e ective learning approach. In this paper, we present an intelligent agent assisted environment for active learning. The system is to better support studentc...