3595 search results - page 244 / 719 » Roles of Program Extension |
165
click to vote
SFP
2001
15 years 7 months ago
2001
: It is well known that type constructors of incomplete trees (trees with variables) carry the structure of a monad with substitution as the extension operation. Less known are the...
108
click to vote
COLING
1994
15 years 7 months ago
1994
The standard HPSG analysis of Germanic verb clusters can not explain the observed narrowscope readings of adjuncts in such verb clusters. We present an extension of the HPSG analy...
184
click to vote
APIN
2000
15 years 6 months ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
149
click to vote
IPL
2010
15 years 4 months ago
2010
Branching vector addition systems are an extension of vector addition systems where new reachable vectors may be obtained by summing two reachable vectors and adding an integral v...
136
click to vote
TGIS
2010
15 years 4 months ago
2010
Interpretation of spatial features often requires combined reasoning over geometry and semantics. We introduce the Space package, an open source SWI-Prolog extension that provides ...