This paper presents a motivational system for an autonomous robot which is designed to regulate human-robot interaction. The mode of social interaction is that of a caretaker-infa...
The interaction and integration of agent technology and data mining presents prominent benefits to solve some of challenging issues in individual areas. For instance, data mining ...
Different kinds of agents in a multi-agent system have different knowledge structure, which results in difficulties of interaction and coordination among agents. At present, ontol...
Abstract. This paper introduces a novel framework for designing multiagent systems, called “Distributed Agent Evolution with Dynamic Adaptation to Local Unexpected Scenarios” (...
Suranga Hettiarachchi, William M. Spears, Derek Gr...
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...