892 search results - page 15 / 179 » Strategies in sentential reasoning |
GIS
2002
ACM
13 years 8 months ago
2002
ACM
Studies about geographical information systems (GIS) use contribute to geographic information science through critical evaluation of the concepts embedded in GIS tools. Social-beha...
ALP
1994
Springer
14 years 16 days ago
1994
Springer
Kennaway proved the remarkable result that every (almost) orthogonal term rewriting system admits a computable sequential normalizing reduction strategy. In this paper we present ...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents a novel strategy improvement algorithm for parity and payoff games, which is guaranteed to select, in each improvement step, an optimal combination of local str...
CORR
2012
Springer
12 years 4 months ago
2012
Springer
We propose a novel mechanism for answering sets of counting queries under differential privacy. Given a workload of counting queries, the mechanism automatically selects a differ...
CSL
2005
Springer
14 years 1 months ago
2005
Springer
We consider the setting of L-nets, recently introduced by Faggian and Maurel as a game model of concurrent interaction and based on Girard’s Ludics. We show how L-nets satisfying...