813 search results - page 42 / 163 » Correctness Properties for Multiagent Systems |
125
click to vote
SYNTHESE
2008
15 years 4 months ago
2008
We add a limited but useful form of quantification to Coalition Logic, a popular formalism for reasoning about cooperation in game-like multi-agent systems. The basic constructs o...
179
click to vote
AI
2011
Springer
14 years 7 months ago
2011
Springer
In this work, we explore how local interactions can simplify the process of decision-making in multiagent systems, particularly in multirobot problems. We review a recent decision-...
122
click to vote
AAMAS
2005
Springer
15 years 9 months ago
2005
Springer
This research aims at studying the effects of exchanging information during the learning process in Multiagent Systems. The concept of advice-exchange, introduced in (Nunes and Ol...
177
click to vote
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
181
Voted
CL
2012
Springer
13 years 6 months ago
2012
Springer
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declarati...