2496 search results - page 168 / 500 » Error-detecting properties of languages |
133
click to vote
TCS
2008
15 years 4 months ago
2008
We study the computational power of pure insertion grammars. We show that pure insertion grammars of weight 3 can characterize all recursively enumerable languages. This is achiev...
128
click to vote
COGSCI
2004
15 years 4 months ago
2004
of natural language syntax often characterize grammatical knowledge as a form of abstract computation. This paper argues that such a characterization is correct, and that fundamen...
137
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
Recent logic programming languages employ dynamic scheduling of calls to improve e ciency of programs. Dynamic scheduling is realized by allowing some calls to be dynamically &quo...
117
click to vote
TOSEM
2002
15 years 4 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
133
click to vote
ACL
2010
15 years 2 months ago
2010
We describe the strategy currently pursued for verbalising OWL ontologies by sentences in Controlled Natural Language (i.e., combining generic rules for realising logical patterns...