Search Sciweavers | Sciweavers

430 search results - page 50 / 86

» On the logic of coalitional games

click to vote

CLIMA
2011

238views Intelligent Agents» more CLIMA 2011»

Verifying Team Formation Protocols with Probabilistic Model Checking

12 years 7 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 »

click to vote

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

14 years 2 months ago

Download homepages.inf.ed.ac.uk

Julian Gutierrez

claim paper

Read More »

click to vote

ICLA
2009
Springer

124views Artificial Intelligence» more ICLA 2009»

Decisions, Actions, and Games: A Logical Perspective

14 years 2 months ago

Download ali.cmi.ac.in

Johan van Benthem

claim paper

Read More »

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

14 years 2 months ago

Download www.my-groups.de

Dang Minh Quan, Jörn Altmann

claim paper

Read More »

click to vote

COMPSAC
2008
IEEE

103views Software Engineering» more COMPSAC 2008»

On the Use of Fuzzy Logic in a Seller Bargaining Game

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers