-
Crowdsourcing, which offers new ways of cheaply and quickly gathering
large amounts of information contributed by volunteers online, has
revolutionised the collection of labelled data. Yet, to create
annotated linguistic resources from this data, we face the challenge
of having to combine the jud...
-
We consider problems in which several individuals each need to make a
yes/no choice regarding a number of issues and these choices then need
to be aggregated into a collective choice. Depending on the
application at hand, different combinations of yes/no may be
considered rational. We describe ra...
-
This report describes the digital humanities project on music similarity. The project is a collaboration between the University of Amsterdam and audio software company Elephantcandy. The project’s aim was to investigate timbre and rhythm similarity and to develop an application that finds similar...
-
In a binary aggregation problem, a group of voters each express yes/no choices regarding a number of possibly correlated issues and we are asked to decide on a collective choice that accurately reflects the views of this group. A good collective choice will minimise the distance to each of the in...
-
We introduce a model for voting under uncertainty where a group of voters have to decide on a joint action to take, but the individual voters are uncertain about the current state of the world and thus about the effect that the chosen action would have. Each voter has preferences about what state...
-
This paper provides a principled answer to the question of how to deal with conflicting default rules. It does so in two ways: semantically within a circumscriptive theory, and syntactically by supplying an algorithm for inheritance networks. Arguments that can be expressed in both frameworks are...
-
Automatically evaluating the quality of word order of MT systems is
challenging yet crucial for MT evaluation. Existing approaches em-
ploy string-based metrics, which are computed over the permutations
of word positions in system output relative to a reference transla-
tion. We introduce a new m...
-
We study a particular multiagent resource allocation problem with
indivisible, but sharable resources. In our model, the utility of an
agent for using a bundle of resources is the difference between the
value the agent would assign to that bundle in isolation and a
congestion cost that depends on...
-
The stratified tree, also called van Emde Boas tree, is a data
structure implementing the full repertoire of instructions
manipulating a single subset A of a finite ordered Universe U = [0
... u-1]. Instructions include `member', `insert', `delete', `min',
`max', `predecessor' and `successor', as...
-
We introduce three relations between models of Peano Arithmetic (PA), each of which is characterized as an arithmetical accessibility relation. A relation R is said to be an arithmetical accessibility relation if for any model M of PA, M satisfies Pr_\pi(\phi) iff M' satisfies \phi for all M' wit...
-
In this paper we investigate the fragment of intuitionistic
logic which only uses conjunction (meet) and implication, using nite
duality for distributive lattices and universal models. We give a description
of the nitely generated universal models of this fragment and give a
complete characteriza...