6355 search results - page 82 / 1271 » From Logic to Games |
92
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
84
Voted
LICS
2008
IEEE
15 years 7 months ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
117
click to vote
CISC
2009
Springer
14 years 10 months ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...
121
click to vote
LPAR
1992
Springer
15 years 4 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
90
Voted
ENTCS
2011
14 years 7 months ago
2011
This paper gives a brief overview of the work on translating natural language sentences into logic done at PARC and distills a few simple-minded lessons. Then we turn our attentio...