We present the development of COMMODITY12, a Personal Health System (PHS) to assist
in the provision of continuous and personalised health services to diabetic patients, thus …

We extend the logical model of agency known as the KGP model, to support agents with
normative concepts, based on the roles an agent plays and the obligations and prohibitions …

This paper presents the computational logic foundations of a model of agency called the
KGP (Knowledge, Goals and Plan model. This model allows the specification of …

Various approaches exist to the application of Answer Set Programming (ASP) in the agent
realm. Nonetheless, a controversial point is how to combine answer set modules with the …

This paper describes two techniques for Datalog query evaluation and their application to
object-oriented program analysis. The first technique transforms Datalog programs into an …

A first step to kee** the human 'in the loop'in the context of develo** intelligent multi-
task interfaces is to be able to monitor their attention. By combining eye tracking with agent …

Multi-agent systems (MAS) can take many forms depending on the characteristics of the
agents populating them. Amongst the more demanding properties with respect to the design …

prosocs agents are software agents that are built according to the kgp model of agency. kgp
is used as a model for the mind of the agent, so that the agent can act autonomously using a …

We propose a layered representation of general agent models with a base layer, composed
of basic agent features including control, and a higher layer, consisting of a meta-control …

Recon is an experimental simulation platform that supports the development of software
agents interacting concurrently with other agents in negotiation domains. Unlike existing …