3038 search results - page 29 / 608 » Issues in Multiagent System Development |
119
click to vote
TASE
2008
IEEE
15 years 2 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...
CEEMAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...
103
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
130
Voted
IAT
2010
IEEE
15 years 12 days ago
2010
IEEE
Abstract--The development of large-scale distributed multiagent systems in open dynamic environments is a challenge. System behavior is often not predictable and can only be evalua...
131
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
An ever-growing infrastructure, including existing and newly built power plants, as well as a rising environmental awareness in society call for inspection and maintenance systems...