6618 search results - page 302 / 1324 » Natural Logic for Natural Language |
193
click to vote
AIML
2008
15 years 8 months ago
2008
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives r...
163
click to vote
AIML
2006
15 years 8 months ago
2006
Bisimulation quantifiers are a natural extension of modal logics. They preserve the bisimulation invariance of modal logic, while allowing monadic second-order expressivity. Unfort...
175
click to vote
MCETECH
2009
Springer
16 years 1 months ago
2009
Springer
Access control rules are currently administered by highly qualified personnel. Thus, the technical barrier that specialized access control languages represent naturally prevents th...
171
click to vote
IJCNLP
2005
Springer
16 years 7 days ago
2005
Springer
Our research aims at developing a system that paraphrases written language text to spoken language style. In such a system, it is important to distinguish between appropriate and i...
186
click to vote
FQAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Controlled languages (CLs) are ambiguity-free subsets of natural languages such as English offering a good trade-off between the formal rigor of ontology and query langua...