Sciweavers

16 search results - page 1 / 4

» tark 2009

27

TARK
2009
Springer

247views Automated Reasoning» more TARK 2009»

14 years 2 months ago

Download www.dagstuhl.de

Guillaume Aucher

claim paper

Read More »

25

TARK
2009
Springer

208views Automated Reasoning» more TARK 2009»

Evidence elimination in multi-agent justification logic

14 years 4 months ago

Evidence elimination in multi-agent justification logic

Download bryan.renne.org

Bryan Renne

claim paper

Read More »

21

TARK
2009
Springer

244views Automated Reasoning» more TARK 2009»

Agreement theorems in dynamic-epistemic logic

14 years 4 months ago

Agreement theorems in dynamic-epistemic logic

Download www.rug.nl

Cédric Dégremont, Olivier Roy

claim paper

Read More »

26

TARK
2009
Springer

264views Automated Reasoning» more TARK 2009»

The context of the game

14 years 4 months ago

The context of the game

Download emlab.berkeley.edu

Amanda Friedenberg, Martin Meier

claim paper

Read More »

24

TARK
2009
Springer

247views Automated Reasoning» more TARK 2009»

Deriving epistemic conclusions from agent architecture

14 years 4 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 »