6355 search results - page 323 / 1271 » From Logic to Games |
176
click to vote
FOSSACS
2003
Springer
15 years 12 months ago
2003
Springer
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
179
click to vote
GI
2003
Springer
15 years 12 months ago
2003
Springer
: Strategic Simulation Games have become an important element of policy development in the context of Critical Infrastructure Protection (CIP). They foster the network between all ...
221
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—In many scenarios network design is not enforced by a central authority, but arises from the interactions of several self-interested agents. This is the case of the Internet, wh...
220
click to vote
CN
2011
15 years 1 months ago
2011
In many scenarios network design is not enforced by a central authority, but arises from the interactions of several self-interested agents. This is the case of the Internet, wher...
164
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the