3572 search results - page 20 / 715 » Nominal Logic Programming |
121
Voted
ENTCS
2006
15 years 11 days ago
2006
Parkinson, Bornat, and Calcagno recently introduced a logic for partial correctness in which program variables are treated as resource, generalizing earlier work based on separati...
101
Voted
EMNLP
2008
15 years 1 months ago
2008
Machine learning approaches to coreference resolution are typically supervised, and require expensive labeled data. Some unsupervised approaches have been proposed (e.g., Haghighi...
98
Voted
CORR
2006
Springer
15 years 12 days ago
2006
Springer
The purpose of this paper is twofold: (i) we argue that the structure of commonsense knowledge must be discovered, rather than invented; and (ii) we argue that natural language, w...
294
Voted
POPL
2001
ACM
16 years 20 days ago
2001
ACM
95
Voted
ENGL
2007
15 years 10 days ago
2007
Abstract— Chierchia [2, 3, 4], pointed out the inadequacy of Montague’s approach in the analysis of certain natural language constructions, such as nominalization and propositi...