In the paper [MTT] a conceptuel description of compactifications of moduli spaces of stable vector bundles on surfaces has been given, whose boundaries consist of vector bundles on trees of sufaces. In this article a typical basic case for the projective plane is described explicitly including the constrution of a relevant Kirwan blow up.

For several languages only potentially non-projective dependency parses are readily available. Projectivizing the parses and utilizing them in syntax-based translation systems often yields particularly bad translation results indicating that those translation models cannot properly utilize such information. We demonstrate that our system based on multi bottom-up tree transducers, which can nati...

The variety of interpretations exhibited by sentences with reciprocals is a longstanding challenge for semantic and pragmatic theories. This puzzle is related to some hard questions about the interpretation of plural predicates in general. In this paper we study the implications of relations between reciprocity and plurality for the account of reciprocals in Dalrymple et al. (1994). It will be ...

We study the computational complexity of polyadic quantifiers in natural language. This type of quantification is widely used in formal semantics to model the meaning of multi-quantifier sentences. First, we show that the standard constructions that turn simple determiners into complex quantifiers, namely Boolean operations, iteration, cumulation, and resumption, are tractable. Then, we provide...

Semantic parsers map natural language sentences to formal representations of their underlying meaning. Building accurate semantic parsers without prohibitive engineering costs is a longstanding, open research problem. The tutorial will describe general principles for building semantic parsers. The presentation will be divided into two main parts: learning and modeling. In the learning part, we ...

The Formal Darwinism project probes the connections between the dynamics of natural selection and the design of organisms. Here, I explain why this work should be of interest to philosophers, arguing that it is the natural development in a long-running scholarly enquiry into the meaning of life. I then review some of my own work which has applied the tools of Formal Darwinism to address issues ...

The purpose of formal and so called semi-formal approaches to business process modeling is to provide a general technique for the development of workflow based information systems. For this, a concise and repeatable transformation of initial requirements into the final system must be achieved. Moreover, there is also a need for complex models to include justifications that explain the meaning a...

the verb in russian language is a part of speech which involves several grammatical features. regarding methods of expressing the person, we can classify it in two major groups: personal verbs and non-personal verbs. the difference of these two groups is in their expression and inexpression of the person as a grammatical category. the purpose of this research is to consider ways of declaring th...

is special track is a forum for discussing the latest approaches in computational linguistics related to cognitive semantics and to artificial intelligence. Its aim is also to exchange ideas concerning the way of building efficient systems for language analysis based on cognitive semantic models. e ST contributions can be briefly characterized as follows: from logic, by lexical meaning and sy...

This paper describes a treebanking project for Hindi/Urdu. We are annotating dependency syntax, lexical predicate-argument structure, and phrase structure syntax in a coordinated and partly automated manner. The paper focuses on choices in syntactic representation, and the stages we think are most appropriate for annotating differnt types of information.