3515 search results - page 34 / 703 » On the semantics of Strategy Logic |
162
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
MEMS storage devices are new non-volatile secondary storages that have outstanding advantages over magnetic disks. MEMS storage devices, however, are much different from magnetic ...
164
click to vote
TARK
2007
Springer
16 years 29 days ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
206
click to vote
CSFW
2003
IEEE
16 years 5 days ago
2003
IEEE
SPKI/SDSI is a language for expressing distributed access control policy, derived from SPKI and SDSI. We provide a first-order logic (FOL) semantics for SDSI, and show that it ha...
168
click to vote
LREC
2008
15 years 8 months ago
2008
In this paper we present a novel approach to the incremental incorporation of semantic information in natural language processing which does not fall victim to the notorious probl...