Functional logic languages combine lazy (demand-driven) evaluation strategies from functional programming with non-deterministic computations from logic programming. To provide a strategy-independent semantics, most languages are based on the call-time choice semantics where parameters are passed as values. From an implementation point of view, the call-time choice semantics fits well with shar...

This paper is concerned with a principled approach to cases of extended (or multiple) exponence, as postulated in Matthews (1972, 82) for Greek verb inflection (perfect forms in particular), and in Matthews (1974, 149) for English verb inflection (among other phenomena). Extended exponence characterizes those cases of morphological realization where a single morpho-syntactic property seems to b...

This paper provides a treatment of Polish Plural Comitative Constructions in the paradigm of HPSG in the tradition of Pollard and Sag (1994). Plural Comitative Constructions (PCCs) have previously been treated in terms of coordination, complementation and adjunction. The objective of this paper is to show that PCCs are neither instances of typical coordinate structures nor of typical complement...

Compound words with irregular plural nouns in first position (e.g. mice-eater) are produced far more frequently than compound words with regular plural nouns in first position (e.g. *rats-eater), (Gordon, 1985). Using empirical evidence and neural net modelling, the studies presented here demonstrate how a single route, associative memory based account might provide an equally, if not more, val...

This paper investigates the causes of the comparatively low success rates in finding the antecedents of plural pronouns as compared to finding antecedents of singular pronouns. We are trying to show experimentally that considering morphological agreement as a strong constraint in pronoun resolution results in the erroneous interpretation of almost a quarter of the plural pronouns. The work is b...

Plural reflexives and reciprocals are anaphoric not only to antecedent pluralities but also to relations between the members of those pluralities. In this paper, I utilize Dynamic Plural Logic (van den Berg 1996) to analyze reflexives and reciprocals as anaphors that elaborate on relations introduced by the verb, which can be collective, cumulative, or distributive. This analysis generalizes to...

The article defines algebraic semantics of singular (call-time-choice) and plural (run-time-choice) nondeterministic parameter passing and presents a specification language in which operations with both kinds of parameters simultaneously can be defined. Sound and complete calculi for both semantics are introduced. We study the relations between the two semantics and point out that axioms for op...

We develop the view that inflection is driven partly by non-phonological analogy and that non-phonological information is of particular importance to the inflection of non-canonical roots, which in the view of Marcus, Brinkmann, Clahsen, Wiese and Pinker (1995) are inflected by a symbolic rule process. We used the Dutch plural to evaluate these claims. An analysis of corpus data shows that a mo...

The Naproche CNL [2] is a controlled natural language for mathematical texts, i.e. a controlled subset of the semi-formal language of mathematics (SFLM) as used in mathematical journals and textbooks. The Naproche system translates Naproche CNL texts first into Proof Representation Structures (PRSs, [2]), an adapted version of Discourse Representation Structures, which are further translated in...

Out of the two forms of genitive plural of the Ukrainian noun stat't'a ‘article’, namely stattej and statej, the former has been assumed to be purely Ukrainian, whereas the latter a Russified one. The paper attempts to demonstrate that the relationship is not necessarily as simple, moreover, that such an interpretation does not altogether answer the question of why only the form of genitive plu...