Search Sciweavers | Sciweavers

6355 search results - page 41 / 1271

» From Logic to Games

132

click to vote

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

16 years 21 days ago

Download homepages.inf.ed.ac.uk

Julian Gutierrez

claim paper

Read More »

106

click to vote

ICLA
2009
Springer

124views Artificial Intelligence» more ICLA 2009»

Decisions, Actions, and Games: A Logical Perspective

16 years 14 days ago

Download ali.cmi.ac.in

Johan van Benthem

claim paper

Read More »

135

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 11 days ago

Download www.my-groups.de

Dang Minh Quan, Jörn Altmann

claim paper

Read More »

120

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 11 days ago

Download cgi.di.uoa.gr

Kostas Kolomvatsos, Christos Anagnostopoulos, Stat...

claim paper

Read More »

139

click to vote

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers