Sciweavers

16 search results - page 1 / 4

» tark 2009

14

TARK
2009
Springer

247views Automated Reasoning» more TARK 2009»

13 years 8 months ago

Download www.dagstuhl.de

Guillaume Aucher

claim paper

Read More »

11

TARK
2009
Springer

208views Automated Reasoning» more TARK 2009»

Evidence elimination in multi-agent justification logic

13 years 11 months ago

Evidence elimination in multi-agent justification logic

Download bryan.renne.org

Bryan Renne

claim paper

Read More »

10

TARK
2009
Springer

244views Automated Reasoning» more TARK 2009»

Agreement theorems in dynamic-epistemic logic

13 years 11 months ago

Agreement theorems in dynamic-epistemic logic

Download www.rug.nl

Cédric Dégremont, Olivier Roy

claim paper

Read More »

12

TARK
2009
Springer

264views Automated Reasoning» more TARK 2009»

The context of the game

13 years 11 months ago

The context of the game

Download emlab.berkeley.edu

Amanda Friedenberg, Martin Meier

claim paper

Read More »

12

TARK
2009
Springer

247views Automated Reasoning» more TARK 2009»

Deriving epistemic conclusions from agent architecture

13 years 11 months ago

Deriving epistemic conclusions from agent architecture

Download people.seas.harvard.edu

Stephen Chong, Ron van der Meyden

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »