This paper presents a connectionist model of verb argument structure assignment that relies on probabilistic information regarding particular verbs, as well as semantic information shared among several verbs. The model illustrates how co-occurrence relations among different levels of linguistic representation may interact in acquisition by contributing to the discovery of language specific well...

Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correctness of slicing, which should ideally be proven independent of concrete programming languages and with the help of well-known verifying techniques such as proof assistants. As a first step in this direction, this cont...

In this opinion piece, I present four somewhat controversial suggestions for the design of future treebanks: a) Treebanks should be based on adversarial samples, rather than pseudorepresentative samples. b) Treebanks should include multiple splits of the data, rather than just a single split, as in most treebanks today. c) They should include multiple annotations of each sentence, whenever poss...

DialogDesigner is an integrated design and development environment that supports dialogue designers in creating an electronic dialogue model, writing dialogue snippets, running and analysing simulation sessions, getting graphical views of the model, making automatic evaluation regarding dialogue model well-formedness, compiling the model into run-time code, and extracting different presentation...

We study synchronous digital circuits in an abstract setting A circuit is viewed as a collection of modules connected through their boundary ports where each port assumes a xed direction input or output over one cycle of operation and can change directions across cycles No distinction is made between clock inputs and non clock inputs A cycle of operation consists of the application of a set of ...

The expression of contracts in computer readable form, and the development of automated tests for completeness and well-formedness of contracts, has opened the door to significant advances in automating contract negotiations. To meet the needs of automation, such negotiations must follow explicitly specified message-exchange protocols. But to meet the needs of the negotiating parties, these pro...

The Object Constraint Language (OCL) is based on firstorder logic and set theory. As the most well-known application, OCL is used to formulate well-formedness rules in the UML metamodel. Here, the transitive closure of a relationship is defined in terms of an OCL invariant, which seems to contradict classical results on the expressive power of first-order logic. In this paper, we give sufficien...

In this paper we introduce a new quantum computation model, the linear quantum cellular automaton. Well-formedness is an essential property for any quantum computing device since it enables us to define the probability of a configuration in an observation as the squared magnitude of its amplitude. We give an efficient algorithm which decides if a linear quantum cellular automaton is well-formed...

In classic generative phonology, linguistic competence in the area of sound structure is modeled by a phonological grammar. The theory takes a grammatical form because it posits an inventory of categories (such as features, phonemes, syllables or feet) and a set of principles which specify the well-formed combinations of these categories. In any particular language, a particular set of principl...

This research addresses )The morphological compounding of the Kurdish language(, which attempted to illustrate foundation and background production. Focusing on products, study dealt with processes their products are outcome these processes, consequently, itself results in producing compounds morphology. Based same principle, is also illustrated. way, information obtained through used produce s...