-
-
-
This thesis is concerned with knowledge representation, and
efficient automated reasoning on the chosen representation.
Part I treats constraint propagation algorithms. These constitute
a broad class of widely used, efficient, non-deterministic algorithms
for constraint satisfaction problems. S...
-
-
-
Imagining Metaphors: Cognitive Representation in Interpreation and Understanding
Elsbeth Brouwer
Overview:
In Chapter 1 I consider the problem that poetic text poses to theories
of linguistic meaning. Interpretation of poetic text involves subjective
representations of meaning, that are conside...
-
The last few years have seen a huge increase in the efficiency
of theorem provers for modal and modal-like logics, and together with it
the field of evaluation of these theorem provers has matured
considerably. We will see some of the strategies used to develop
automatic reasoning tools for thes...
-
-
Quantum Query Complexity and Distributed Computing
Hein Roehrig
In complexity theory, the strengths and limitations of computers are
investigated on abstract models of computation. The choice of these models is
governed by three considerations: (1) how close is the model to existing
computers...
-
-
Model theory for extended modal languages
Balder David ten Cate
In this thesis, several extensions of the basic modal language are
studied. Model theoretic and computational properties of these
extensions are investigated. Roughly speaking, the thesis contains
two types of results. The first t...