1636 search results - page 72 / 328 » Type-Theoretic Functional Semantics |
144
Voted
IA
2006
15 years 3 months ago
2006
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...
122
click to vote
BNCOD
2009
15 years 1 months ago
2009
Nowadays maintenance of database management systems (DBMSs) often requires offline operations for enhancement of functionality or security updates. This hampers the availability of...
79
Voted
EMNLP
2009
15 years 1 months ago
2009
We introduce an extension to CCG that allows form and function to be represented simultaneously, reducing the proliferation of modifier categories seen in standard CCG analyses. W...
128
Voted
FLOPS
2008
Springer
15 years 5 months ago
2008
Springer
It is known that the behavior of non-deterministic functions with call-time choice semantics, present in current functional logic languages, is not well described by usual approach...
156
Voted
LOPSTR
2005
Springer
15 years 9 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...