3440 search results - page 72 / 688 » Logics For Context-Free Languages |
149
click to vote
ACL
1998
15 years 7 months ago
1998
The multiplicative fragment of linear logic has found a number of applications in computational linguistics: in the "glue language" approach to LFG semantics, and in the...
156
click to vote
ENTCS
2006
15 years 6 months ago
2006
One of the central aspects in an Information System is the meaning of data in the external world and the information carried by them. We propose a Constructive Object Oriented Mod...
173
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
186
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
Axiomatic characterization results in social choice theory are usually compared either regarding the normative plausibility or regarding the logical strength of the axioms involved...
315
click to vote
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.