Sciweavers

3891 search results - page 23 / 779
» A logic for strategic reasoning
Sort
View
TIME
2005
IEEE
14 years 1 months ago
Temporal XML? SQL Strikes Back!
Fusheng Wang, Carlo Zaniolo, Xin Zhou
CORR
2010
Springer
125views Education» more  CORR 2010»
13 years 7 months ago
Iterated Regret Minimization in Game Graphs
Iterated regret minimization has been introduced recently by J.Y. Halpern and R. Pass in classical strategic games. For many games of interest, this new solution concept provides s...
Emmanuel Filiot, Tristan Le Gall, Jean-Franç...
ICTL
1994
13 years 11 months ago
A Decision Procedure for a Temporal Belief Logic
This paper presents a temporal belief logic called
Michael Wooldridge, Michael Fisher