6618 search results - page 55 / 1324 » Natural Logic for Natural Language |
139
click to vote
AR
2008
15 years 6 months ago
2008
Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its clo...
141
click to vote
ENTCS
2011
15 years 1 months ago
2011
This paper gives a brief overview of the work on translating natural language sentences into logic done at PARC and distills a few simple-minded lessons. Then we turn our attentio...
151
click to vote
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
We present specification languages that naturally capture exactly the regular and -regular properties that are stutter invariant. Our specification languages are variants of the cl...
192
click to vote
PPCP
1993
15 years 10 months ago
1993
Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...
187
click to vote
COGSCI
2010
15 years 4 months ago
2010
Natural language is full of patterns that appear to fit with general linguistic rules but are ungrammatical. There has been much debate over how children acquire these ‘‘ling...