3515 search results - page 66 / 703 » On the semantics of Strategy Logic |
184
click to vote
AAAI
2004
15 years 8 months ago
2004
Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending completion with "loop ...
181
Voted
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a Game Semantics where strategies are partial orders, and composition is a generalization of the merging of orders. Building on this, to bridge between Game Semantics ...
175
click to vote
SOFSEM
1998
Springer
15 years 11 months ago
1998
Springer
In our paper we discuss an approach to semiautomatic corpus processing aimed at analysing verb valencies in Czech and consecutive determining the type of TIL (Transparent Intension...
204
click to vote
ADBIS
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. Query reformulation techniques based on semantic knowledge have been used in two ways in database management systems, namely for query optimization and for data integrati...
306
click to vote
SIGLEX
1991
15 years 10 months ago
1991
The lexical entry for a word must contain all the information needed to construct a semantic representation for sentences that contain the word. Because of that requirement, the f...