Sciweavers

674 search results - page 43 / 135

» Preferences in Game Logics

24

LICS
2005
IEEE

117views Automated Reasoning» more LICS 2005»

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

14 years 2 months ago

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

Download www.pps.jussieu.fr

Paul-André Melliès

claim paper

Read More »

13

BIRTHDAY
2005
Springer

106views Applied Computing» more BIRTHDAY 2005»

Open Problems in Logic and Games

14 years 2 months ago

Open Problems in Logic and Games

Download www.illc.uva.nl

Johan van Benthem

claim paper

Read More »

18

FSTTCS
2005
Springer

101views Software Engineering» more FSTTCS 2005»

From Logic to Games

14 years 2 months ago

From Logic to Games

Download www.labri.fr

Igor Walukiewicz

claim paper

Read More »

19

FSTTCS
2004
Springer

91views Software Engineering» more FSTTCS 2004»

Adjunct Elimination Through Games in Static Ambient Logic

14 years 2 months ago

Adjunct Elimination Through Games in Static Ambient Logic

Download www.cl.cam.ac.uk

Anuj Dawar, Philippa Gardner, Giorgio Ghelli

claim paper

Read More »

25

CSL
1999
Springer

130views Automated Reasoning» more CSL 1999»

Choice Logic Programs and Nash Equilibria in Strategic Games

14 years 1 months ago

Choice Logic Programs and Nash Equilibria in Strategic Games

Download www.cs.bath.ac.uk

Marina De Vos, Dirk Vermeir

claim paper

Read More »

« Prev « First page 43 / 135 Last » Next »