This thesis presents work in two areas; Language Technology and Linguistic Typology. In the field of Language Technology, a specific problem is addressed: Can a computer extract a description of word conjugation in a ...

Multiple information technologies are converging. Crucial to organizations’ relentless struggle to remain competitive, IT innovation processes must now increasingly take into consideration a multitude of stationary, ...

It is easy to imagine machines that can communicate in natural language. Constructing such machines is more difficult. The aim of this thesis is to demonstrate how declarative grammar formalisms that distinguish between ...

This thesis is about the development and usage of deductive methods in two main areas: (i) the deductive dis-verification of programs, i.e., how techniques for deductive verification of programs can be used to detect ...

This thesis investigates the challenges within the work of different types of professions; technical professions and human caretaking professions. These professions are faced special challenges in use and development of ...

This thesis is concerned with the resource consumption of lazy functional languages. It touches upon two aspects: how to reason about the space-safety of program transformations, and how to apply usage analysis for compiler ...

A growing number of problem domains are successfully being tackled by SAT solvers. This thesis contributes to that trend by pushing the state-of-the-art of core SAT algorithms and their implementation, but also in several ...

This work develops the thesis that there is a strong relationship between the regulation of disruptive technology and the Internet-based participatory democracy. In other words, attempts to regulate disruptive technology ...