6618 search results - page 270 / 1324 » Natural Logic for Natural Language |
138
click to vote
WOLLIC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
202
click to vote
CADE
2008
Springer
15 years 8 months ago
2008
Springer
LogAnswer is an open domain question answering system which employs an automated theorem prover to infer correct replies to natural language questions. For this purpose LogAnswer o...
177
click to vote
MKM
2004
Springer
16 years 1 days ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
147
click to vote
EACL
1989
ACL Anthology
15 years 7 months ago
1989
ACL Anthology
It is a tacit assumption of much linguisticinquiry that alldistinctderivations of a string should assign distinct meanings. But despite the tidinessof such derivational uniqueness...
157
click to vote
EACL
2009
ACL Anthology
16 years 7 months ago
2009
ACL Anthology
Lexical-semantic resources are used extensively for applied semantic inference, yet a clear quantitative picture of their current utility and limitations is largely missing. We pr...