Sciweavers

2088 search results - page 82 / 418
» The SPARK Agent Framework
Sort
View
AAMAS
2005
Springer
15 years 6 months ago
Formalisations of Capabilities for BDI-Agents
Intentional agent systems are increasingly being used in a wide range of complex applications. Capabilities has recently been introduced into some of these systems as a software en...
Lin Padgham, Patrick Lambrix
COSIT
2009
Springer
146views GIS» more  COSIT 2009»
16 years 29 days ago
Decentralized Time Geography for Ad-Hoc Collaborative Planning
For an autonomous physical agent, such as a moving robot or a person with their mobile device, performing a task in a spatio-temporal environment often requires interaction with ot...
Martin Raubal, Stephan Winter, Christopher Dorr
ARGMAS
2008
Springer
15 years 8 months ago
Argumentation Based Resolution of Conflicts between Desires and Normative Goals
Norms represent what ought to be done, and their fulfillment can be seen as benefiting the overall system, society or organisation. However, individual agent goals (desire) may con...
Sanjay Modgil, Michael Luck
GC
2004
Springer
15 years 10 months ago
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies
This article summarises part of the work done during the first two years of the SOCS project, with respect to the task of modelling interaction amongst CL-based agents. It describe...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
ECAI
2006
Springer
15 years 10 months ago
Goal Revision for a Rational Agent
We propose a general framework to represent changes in the mental state of a rational agent due to the acquisition of new information and/or to the arising of new desires; fundamen...
Célia da Costa Pereira, Andrea Tettamanzi, ...