3515 search results - page 282 / 703 » On the semantics of Strategy Logic |
178
Voted
ENTCS
2006
15 years 7 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
187
click to vote
ENTCS
2006
15 years 7 months ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
194
click to vote
NDJFL
1998
15 years 7 months ago
1998
We investigate transfer of interpolation in such combinations of modal logic which lead to interaction of the modalities. Combining logics by taking products often blocks transfer...
198
Voted
IJCNLP
2005
Springer
16 years 1 months ago
2005
Springer
This paper studies the problem of mining relational data hidden in natural language text. In particular, it approaches the relation classification problem with the strategy of tra...
291
click to vote
ALT
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. Previous works [11, 6] introduced a model of semantic communication between a “user” and a “server,” in which the user attempts to achieve a given goal for commun...