research
∙
06/06/2023
A Belief Model for Conflicting and Uncertain Evidence – Connecting Dempster-Shafer Theory and the Topology of Evidence
One problem to solve in the context of information fusion, decision-maki...
share
research
∙
05/12/2022
Viable Algorithmic Options for Creating and Adapting Emergent Software Systems
Given the complexity of modern software systems, it is of great importan...
research
∙
02/04/2021
Egalitarian Judgment Aggregation
Egalitarian considerations play a central role in many areas of social c...
research
∙
10/20/2020
Shortlisting Rules and Incentives in an End-to-End Model for Participatory Budgeting
We introduce an end-to-end model of participatory budgeting grounded in ...
research
∙
11/19/2019
Decentralization in Open Quorum Systems
Decentralisation is one of the promises introduced by blockchain technol...
research
∙
08/11/2018
A Parameterized Complexity View on Description Logic Reasoning
Description logics are knowledge representation languages that have been...
research
∙
08/09/2018
Hunting for Tractable Languages for Judgment Aggregation
Judgment aggregation is a general framework for collective decision maki...
research
∙
07/17/2018
Expressing Linear Orders Requires Exponential-Size DNNFs
We show that any DNNF circuit that expresses the set of linear orders ov...
research
∙
05/24/2018
On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models
Dynamic epistemic logic (DEL) is a logical framework for representing an...
research
∙
05/31/2017
Obtaining a Proportional Allocation by Deleting Items
We consider the following control problem on fair allocation of indivisi...
research
∙
08/08/2016
Complexity Results for Manipulation, Bribery and Control of the Kemeny Procedure in Judgment Aggregation
We study the computational complexity of several scenarios of strategic ...
research
∙
07/16/2013
Parameterized Complexity Results for Plan Reuse
Planning is a notoriously difficult computational problem of high worst-...
research
∙
04/19/2013
Local Backbones
A backbone of a propositional CNF formula is a variable whose truth valu...
research
∙
01/03/2012