The goal of this project is to develop an integrated approach to discourse and sentence planning which captures the interaction of discourse marker selection, ellipsis, and discourse structure. This project will focus on (a) empirical investigations and the formalization of the corresponding linguistic and non-linguistic constraints, and (b) the declarative modelling and implementation of those constraints by means of first order logic theorem proving and expressive concurrent constraint languages.

The system has an online demo at here.