34 search results - page 3 / 7 » Formalisations of Capabilities for BDI-Agents |
AAMAS
2005
Springer
13 years 5 months ago
2005
Springer
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...
AOSE
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
CCIA
2008
Springer
13 years 7 months ago
2008
Springer
In this paper, a validation and an experimentation of the use of graded BDI agents is reported. This agent model has been proposed to specify agents capable to deal with the enviro...
ACSD
2001
IEEE
13 years 8 months ago
2001
IEEE
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allo...
JASSS
2002
13 years 4 months ago
2002
What is the degree of sophistication that we have to put into the agents in agents based computer simulation models? Should we provide them with a "mind"? The answer ran...