892 search results - page 95 / 179 » Strategies in sentential reasoning |
122
click to vote
CSFW
2002
IEEE
15 years 9 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...
124
click to vote
DAWAK
2000
Springer
15 years 9 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...
127
click to vote
ICCBR
1999
Springer
15 years 8 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...
131
click to vote
ICLP
1999
Springer
15 years 8 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 ...
108
click to vote
TARK
1998
Springer
15 years 8 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...