This paper presents three types of declarative goals: perform goals, achieve goals, and maintain goals. The integration of these goal types in a simple but extendable logic-based a...
Mehdi Dastani, M. Birna van Riemsdijk, John-Jules ...
An important technical hurdle blocking the adoption of mobile agent technology is the lack of reliability. Designing a reliable mobile agent system is especially challenging since...
Abstract. Using a knowledge-based approach we adjust a knowledgebased algorithm for multi-agent communication for the process of cooperative problem solving (CPS). The knowledge-ba...
This paper presents a community of communicating embodied agents which learn an adjacency-based grammar from user interactions. The agents act as intelligent fridge magnets, each ...
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...