Affiliations: Dipartimento di Informatica, Università di Pisa, Largo B. Pontecorvo, Pisa, Italy | Department of Computing, Imperial College London, London, UK
Note: [] Corresponding author. Department of Computing, Imperial College London, South Kensington Campus, Huxley Building, London SW7 2AZ, UK. E-mail: ft@doc.ic.ac.uk (F. Toni), E-mail: paolo.mancarella@unipi.it (P. Mancarella)
Abstract: We describe recent work on the deployment of computational logic to support the formalisation and implementation of agents in multi-agent systems. Several forms of computational logic systems are needed in this setting, including abductive, argumentative and preference-based systems. We briefly sketch the agent model called KGP, and an ongoing extension of it which is needed to model agents in distributed settings such as the Grid and, more generally, Service-Oriented Architectures.
