892 search results - page 95 / 179 » Strategies in sentential reasoning |
89
Voted
CSFW
2002
IEEE
15 years 5 months ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
94
Voted
DAWAK
2000
Springer
15 years 5 months ago
2000
Springer
: Data warehouses typically store a multidimensional fact representation of the data that can be used in any type of analysis. Many applications materialize data cubes as multidime...
91
Voted
ICCBR
1999
Springer
15 years 5 months ago
1999
Springer
In the future digital TV will offer an unprecedented level of programme choice. We are told that this will lead to dramatic increases in viewer satisfaction as all viewing tastes a...
97
Voted
ICLP
1999
Springer
15 years 5 months ago
1999
Springer
A central service of a constraint programming system is search. In almost all constraint programming systems search is based on trailing, which is well understood and known to be ...
71
Voted
TARK
1998
Springer
15 years 5 months ago
1998
Springer
We look at the Big Match game, a variation of the repeated Matching Pennies game where if the rst player plays tails the game ends with the rst player receiving the last round...