913 search results - page 19 / 183 » Formal Agent Development: Framework to System |
125
click to vote
IGPL
2010
14 years 11 months ago
2010
Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as `ope...
135
Voted
ICMAS
1998
15 years 3 months ago
1998
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...
127
Voted
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
115
Voted
AAMAS
2005
Springer
15 years 1 months ago
2005
Springer
A Multi-linked negotiation problem occurs when an agent needs to negotiate with multiple other agents about different subjects (tasks, conflicts, or resource requirements), and th...
107
click to vote
TASE
2008
IEEE
15 years 1 months ago
2008
IEEE
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...