3385 search results - page 218 / 677 » Language, Logic, and the Brain |
177
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
This paper introduces the controlled natural language PENG Light together with a language processor that is based on a bidirectional grammar. The language processor has the followi...
172
click to vote
CNL
2009
15 years 7 months ago
2009
Logic-based controlled natural languages usually provide some facility for compositional representation, minimally including sentence level coordination and sometimes subordination...
173
click to vote
HASKELL
2008
ACM
15 years 7 months ago
2008
ACM
Eight years ago, functional dependencies, a concept from the theory of relational databases, were proposed as a mechanism for avoiding common problems with multiple parameter type...
203
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
191
click to vote
ICFCA
2010
Springer
16 years 1 months ago
2010
Springer
This paper is the successor to two previous papers published at the ICFCA conference. In the first paper we have shown that in the Description Logics EL and ELgfp, the set of gene...