813 search results - page 48 / 163 » Correctness Properties for Multiagent Systems |
124
Voted
AI
2004
Springer
15 years 3 months ago
2004
Springer
We study coalitional games in which agents are each assumed to have a goal to be achieved, and where the characteristic property of a coalition is a set of choices, with each choi...
143
click to vote
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
180
click to vote
HOTSWUP
2009
ACM
15 years 1 months ago
2009
ACM
Dynamic software update is a technique by which a running program can be updated with new code and data without interrupting its execution. Often we will want to preserve properti...
93
Voted
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We propose a new loss function for discriminative learning of Markov random fields, which is an intermediate loss function between the sequential loss and the pointwise loss. We s...
124
click to vote
AIEDAM
1999
15 years 3 months ago
1999
Intelligent agents must update their knowledge base as they acquire new information about their environment. The modal logic S5n has been designed for representing knowledge bases...