-
In this thesis we investigate the application of efficient operations research
techniques in constraint programming for solving NP-complete combinatorial
problems. Such problems often occur in practice, for example in logistics.
In constraint programming, combinatorial problems are being solved ...
-
A common assumption in linguistic semantics is, that sentences of all
types share a common, truth conditional core. For non-declaratives this
means that we must distinguish between a mood-operator and a
propositional (truth-conditional) content. So, for instance, an
imperative sentence is tre...
-
-
The research goal behind this dissertation is to develop ways to compare and analyse multi-agent protocols. In order to do so one has to distinguish different types of protocols, and one has to distinguish different classes of properties. Protocols that can be modelled as imperfect information ga...
-
Kolmogorov complexity and formula size lower bounds
Troy Lee
Part I: Kolmogorov Complexity
Randomness is a concept familiar to all of us in our daily lives. From
changing weather, to the flip of a coin, to the shuffle function on a
music player---random is frequently used to describe the behav...
-
Lattices of intermediate and cylindric modal logics
Nick Bezhanishvili
Abtract:
In this thesis we study classes of intermediate and cylindric modal
logics. Intermediate logics are the logics that contain the
intuitionistic propositional calculus IPC and are contained in the
classical propositio...
-
Finitary coalgebraic logics
Clemens Kupke
The aim of this thesis is to deepen our understanding of
the close connection between modal logic
and coalgebras. This connection becomes not only
manifest in the fact that Kripke frames are a
special type of coalgebras,
but more generally in the fact...
-
Computers are physical objects and thus obey the laws of
physics. Although most computers nowadays are built of semiconductors
governed by quantum effects, their computation is purely classical -
at every instant the computer is in a classical state and the
computational steps are fully determini...
-
The research as described in this thesis is centered around the origin
of pitch structures such as scales and chords. It is often unclear how
these tonal pitch structures have developed and where they come
from. We could think of the following questions. Why does the Western
major diatonic scale ...
-
-
This dissertation explores the meaning and use of rising intonation in English
and French. The central theme was provided by the generally accepted claim
that there exists a typical question melody in American English. The term
`question' (as opposed to `interrogative'), however, was found to be
...