80 search results - page 11 / 16 » Specifying and reasoning about uncertain agents |
CAISE
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
EUMAS
2006
13 years 11 months ago
2006
When developing BDI agent-based systems, some design patterns such as incompatible intentions, multiple strategies, intention decomposition, etc. would be very useful for specifyi...
SEFM
2009
IEEE
14 years 4 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...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper presents a framework for specifying Web services communities. A Web service is an accessible application that humans, software agents, and other applications in general ...
ECSQARU
2005
Springer
14 years 3 months ago
2005
Springer
This paper is part of a project to match real-world descriptions of instances of objects to models of objects. We use a rich ontology to describe s and models at multiple levels of...