-
The notion of bisimulation is simple, natural, and central for many research
fields in Logic and Computer Science. It is the link that connects all the
topics discussed in this dissertation.
Bisimulation was proposed independently in many areas in the seventies.
Probably the first one wa...
-
In everyday life, we are confronted with visual information
provided by the environment. This visual information may
originate from the scenes of cities or forests, but also from
television images, computer interfaces, and many other natural or
artificial sources. In general, we have no d...
-
%Nr: DS-1999-02
%Author: Khalil Sima'an
%Title: Learning Efficient Disambiguation
It is widely recognized that the resolution of syntactic ambiguity of natural
language grammars demands resources that are usually considered
extralinguistic, e.g. discourse, cultural and geographical preferences...
-
%Nr: DS-1999-03
%Title: Philosophical Languages in the Seventeenth Century: Dalgarno, Wilkins, Leibniz
%Author: Jaap Maat
The creation of a universal and philosophical language was a widely discussed
topic in the seventeenth century. One of the goals to be achieved by putting
such a language i...
-
Quantum Information Processing is an interdisciplinary field of research at the
crossroads of physics and computer science. The computer science aspect is
expressed by the fact that the main application of the research lies in
computers, information processing and communication. The physics...
-
%Nr: DS-2000-01
%Author: Renata Wasserman
%Title: Resource Bounded Belief Revision
The problem of belief revision has been extensively studied during the
last twenty years. Given an agent with a set of (ascribed) beliefs,
how should he change his beliefs when confronted with new information?
Thi...
-
%Nr: DS-2000-02
%Title: A Logical Approach to Computational Theory Building with applications to sociology
%Author: Jaap Kamps
This thesis, entitled ``A Logical Approach to Computational Theory
Building with applications to sociology,'' contains multidisciplinary
research on the fields of logic,...
-
This dissertation consists of three disjunct parts.
The first part, titled `Blackwell Games', is about the problem of
determinacy of Blackwell games, a class of infinite games of imperfect
information, where both players simultaneously select moves from a
finite set, infinitely many rounds are p...
-
%Nr: DS-2000-04
%Author: Paul van Ulsen
%Title: E.W. Beth als logicus
The subject of this dissertation is the logical work of E.W.~Beth. In
addition, there is a short biography and an introduction to some of
Beth's methodological and philosophical ideas.
Evert Willem Beth (1908--1964) was born ...
-
As the title indicates, there are two levels involved in the research
carried out in this thesis: the general issue of understanding (and
promoting) Logic Engineering, together with a detailed study of its
particular instantiation for Description and Hybrid Languages.
For some years now, a trend...
-
In the board game Cluedo the players have to determine what the murder cards on
the table are, by reasoning about their own cards, and about what they get to
know of other players' cards in game actions. Typical for Cluedo is that a
finite number of cards is dealt over a finite number of playe...