-
-
-
The Fiber and the Fabric: An Inquiry into Wittgenstein's Views on Rule-Following and Linguistic Normativity
Harry Stein
Some philosophical books are important, some are good; many are neither, a blessed few are both. Leaving the elusive category of the 'good' undefined, one might yet try to pi...
-
%Nr: DS-1999-01
%Author: Jelle Gerbrandy
%Title: Bisimulations on Planet Kripke
Summarized in four words, the topic of this dissertation is
Multi-Agent Dynamic Epistemic Semantics. The words `semantics' implies
that model theory plays a central role...
-
%Nr: DS-2002-01
%Author: Nikos Massios
%Title: Decision-Theoretic Robotic Surveillance
The subject of this thesis is the investigation of autonomous
surveillance planning for an office-like environment. Surveillance can
be informally defined as ``a close watch kept over something or
someone with...
-
Spatial structures and spatial reasoning are essential to perception
and cognition. Much day-to-day practical information is about what
happens at certain spatial locations. Moreover, spatial
representation is a powerful source of geometric intuitions that
underly general cognitive tasks. How ca...
-
Why should we praise someone for performing so well, even though we usually
reserve praise for consciously deliberated and chosen actions and less so for actions
that appear to be produced automatically and effortless? Observing such action
performance by an expert singer performing an opera role...
-
Personalizing users’ experience and the ability to perform complex tasks on smart devices and environments such as smart speakers and smart homes are changing the way people are doing their daily tasks. Checking the weather and planning to visit a museum is as simple as asking your smart speaker ...
-
The five chapters in this thesis are connected by the following question: How Close Does It Get?
In Chapter 3, we study two pricing problems in networks. We are given a directed graph with edge costs, a set of commodities, and a designated node u. Each commodity has a flow demand that needs to...
-
Aspects of Diagonalization & Provability
Albert Visser
Monolithic this thesis is not. It reflects the history of our preoccupation with Gödel’s Incompleteness Theorems over the last four years.
In part 1 and 2 we concentrate on generalizations of Gödel’s First Incompleteness Theorem like the...
-
(Abstract)
Clemens Grabmayer
[Master's Thesis at the Institute for Logic, Language and Computation (ILLC),
Universiteit van Amsterdam, October 1999]
NOTATION: Superscripts and subscripts are indicated in this .txt -file
in a LATEX-style manner with the help of symbols ^ and _ , such that
...