1162 search results - page 151 / 233 » Monotonic Semantic Interpretation |
CORR
2008
Springer
14 years 11 months ago
2008
Springer
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...
AMSTERDAM
2009
14 years 10 months ago
2009
Standard semantic accounts of the equative ascribe it an `at least' meaning, deriving an `exactly' reading when necessary via scalar implicature. I argue for a particular...
112
click to vote
DAIS
2009
14 years 10 months ago
2009
Queries are widely used for acquiring data distributed in opportunistically formed mobile networks. However, when queries are executed in such dynamic settings, the returned result...
AUSAI
2009
Springer
15 years 7 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...
89
Voted
ICANN
2009
Springer
15 years 7 months ago
2009
Springer
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...