8228 search results - page 21 / 1646 » Structural Logical Relations |
132
click to vote
NAACL
2007
15 years 3 months ago
2007
Previous work on discourse parsing has mostly relied on surface syntactic and lexical features; the use of semantics is limited to shallow semantics. The goal of this thesis is to...
104
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called...
110
Voted
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
126
Voted
CORR
2004
Springer
15 years 2 months ago
2004
Springer
We have previously introduced role logic as a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of ro...
130
click to vote
WOLLIC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...