987 search results - page 20 / 198 » Ludics and Its Applications to Natural Language Semantics |
193
click to vote
ICFP
2009
ACM
16 years 11 days ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
ESWS
2008
Springer
15 years 1 months ago
2008
Springer
: The mathematical nature of description logics has meant that domain experts find them hard to understand. This forms a significant impediment to the creation and adoption of onto...
110
Voted
IMCSIT
2010
14 years 9 months ago
2010
This paper describes an application for computing first-order semantic representations of English texts. It is based on a combination of hybrid shallow-deep components arranged wit...
CICLING
2003
Springer
15 years 5 months ago
2003
Springer
A new sort of generative grammar (Sec2) will be demonstrated which is more radically “lexicalist” than any earlier one (Sec1). It is a modified Unification Categorial Gramma...
208
click to vote
POPL
2009
ACM
16 years 10 days ago
2009
ACM
Self-adjusting computation is an evaluation model in which programs can respond efficiently to small changes to their input data by using a change-propagation mechanism that updat...