8228 search results - page 205 / 1646 » Structural Logical Relations |
137
click to vote
ACL
2003
15 years 6 months ago
2003
This paper proposes a principled approach for analysis of semantic relations between constituents in compound nouns based on lexical semantic structure. One of the difficulties o...
190
click to vote
JELIA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
111
click to vote
DM
2008
15 years 4 months ago
2008
A 2-binary tree is a binary rooted tree whose root is colored black and the other vertices are either black or white. We present several bijections concerning different types of 2...
145
click to vote
ENTCS
2008
15 years 4 months ago
2008
In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern...
135
click to vote
JAPLL
2007
15 years 4 months ago
2007
History based models, introduced by Parikh and Ramanujam, provide a natural mathematical model of social interactive situations. These models offer a ”low level” description ...