3440 search results - page 119 / 688 » Logics For Context-Free Languages |
218
click to vote
META
1992
15 years 11 months ago
1992
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
160
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
190
click to vote
EMNLP
2010
15 years 4 months ago
2010
This paper addresses the problem of learning to map sentences to logical form, given training data consisting of natural language sentences paired with logical representations of ...
166
click to vote
KR
2004
Springer
16 years 6 days ago
2004
Springer
Several logical languages have been considered in AI for encoding compactly preference relations over a set of alternatives. In this paper, we analyze both the expressiveness and ...
170
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In spite of the signiļ¬cant evolution of spelling and grammar checkers for word-processing software, the problem of judging the appropriateness of language usage in diff...