813 search results - page 47 / 163 » Correctness Properties for Multiagent Systems |
135
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
137
click to vote
CDVE
2007
Springer
15 years 10 months ago
2007
Springer
The team of engineers designing and implementing distributed control system software must communicate within a multidisciplinary environment. One of the main problems is the intera...
142
click to vote
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
260
Voted
CASCON
2010
15 years 24 days ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
122
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Weighted voting games are a popular model of collaboration in multiagent systems. In such games, each agent has a weight (intuitively corresponding to resources he can co...