2638 search results - page 147 / 528 » Frameworks for Reasoning about Agent Based Systems |
141
click to vote
CEEMAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Agent Communication Languages (ACLs) play a fundamental role in open multiagent systems where message exchange is the main if not the only way for agents to coordinate th...
128
click to vote
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
174
click to vote
ECAI
2010
Springer
15 years 2 months ago
2010
Springer
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...
156
click to vote
DALT
2004
Springer
15 years 8 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
153
click to vote
AGENTS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. One of the reasons for attending to agent technology is the evergrowing complexity of information systems and the increasing difficulty to foresee and plan for all potent...