2138 search results - page 137 / 428 » Logical Step-Indexed Logical Relations |
171
click to vote
DLOG
1996
15 years 7 months ago
1996
fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...
174
click to vote
LATIN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a probability logic (essentially a first order language extended with quantifiers that count the fraction of elements in a model that satisfy a first order ...
187
click to vote
DLOG
2006
15 years 7 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
188
click to vote
TSD
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Rhetorical structuring is field approached mostly by research in natural language (pragmatic) interpretation. However, in natural language generation (NLG) the rhetorica...
152
click to vote
GLVLSI
2003
IEEE
15 years 11 months ago
2003
IEEE
Concerned by the wall that Moore’s Law is expected to hit in the next decade, the integrated circuit community is turning to emerging nanotechnologies for continued device impro...