3385 search results - page 320 / 677 » Language, Logic, and the Brain |
145
click to vote
ICALP
1990
Springer
15 years 11 months ago
1990
Springer
Termrewritingsystemsare importantfor computabilitytheoryof abstractdata types,for automatictheorem proving, and for the foundationsof functionalprogramming.In this shortsurveywe pr...
179
click to vote
LILOG
1989
15 years 11 months ago
1989
This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of att...
163
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
The dynamic interpretation of a formula as a binary relation (inducing transitions) on states is extended by alternative treatments of implication, universal quantification, negat...
173
click to vote
DLOG
2008
15 years 8 months ago
2008
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ...
173
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
The Lambek calculus L provides a foundation for categorial grammar in the form of a logic of concatenation. But natural language is characterized by dependencies which may also be...