Search Sciweavers | Sciweavers

430 search results - page 50 / 86

» On the logic of coalitional games

254

click to vote

CLIMA
2011

238views Intelligent Agents» more CLIMA 2011»

Verifying Team Formation Protocols with Probabilistic Model Checking

14 years 6 months ago

Download www.veriware.org

Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of efﬁ...

Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...

claim paper

Read More »

132

click to vote

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

16 years 27 days ago

Download homepages.inf.ed.ac.uk

Julian Gutierrez

claim paper

Read More »

109

click to vote

ICLA
2009
Springer

124views Artificial Intelligence» more ICLA 2009»

Decisions, Actions, and Games: A Logical Perspective

16 years 20 days ago

Download ali.cmi.ac.in

Johan van Benthem

claim paper

Read More »

138

click to vote

AINA
2008
IEEE

126views Computer Networks» more AINA 2008»

Bilateral Bargaining Game and Fuzzy Logic in the System Handling SLA-Based Workflow

16 years 18 days ago

Download www.my-groups.de

Dang Minh Quan, Jörn Altmann

claim paper

Read More »

123

click to vote

COMPSAC
2008
IEEE

103views Software Engineering» more COMPSAC 2008»

On the Use of Fuzzy Logic in a Seller Bargaining Game

16 years 18 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers