Search Sciweavers | Sciweavers

6355 search results - page 41 / 1271

» From Logic to Games

click to vote

FOSSACS
2009
Springer

98views Software Engineering» more FOSSACS 2009»

Logics and Bisimulation Games for Concurrency, Causality and Conflict

14 years 5 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 5 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 5 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 5 months ago

Download cgi.di.uoa.gr

Kostas Kolomvatsos, Christos Anagnostopoulos, Stat...

claim paper

Read More »

click to vote

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

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

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers