activity
20162026
most citedDistributing Knowledge into Simple Bases

3 citations · 6 across the 6 of their papers we have counts for

collaborators

7 papers

cs.GT2026

You All Need to Hear This: Wisdom of Crowds with Deliberating Jurors

Rosa Bauer, Adrian Haret

We analyze a formal model of deliberation in which agents have probabilistic access to evidence and selectively disclose it to their peers in order to induce opinion change. We pre…

cs.AI2026

PrologMCP: A Standardized Prolog Tool Interface for LLM Agents

Agnieszka Mensfelt, Adarsh Prabhakaran, Adrian Haret +2

Frontier reasoning-tuned language models still fail on deductive tasks at depth, and the cost of improved performance through extended internal reasoning scales poorly. Symbolic de…

cs.GT2024

Apportionment with Weighted Seats

Julian Chingoma, Ulle Endriss, Ronald de Haan +2

Apportionment is the task of assigning resources to entities with different entitlements in a fair manner, and specifically a manner that is as proportional as possible. The best-k…

cs.CY2024★ 2 cited

Enabling the Digital Democratic Revival: A Research Program for Digital Democracy

Davide Grossi, Ulrike Hahn, Michael Mäs +26

This white paper outlines a long-term scientific vision for the development of digital-democracy technology. We contend that if digital democracy is to meet the ambition of enablin…

cs.AI2021★ 1 cited

An AGM Approach to Revising Preferences

Adrian Haret, Johannes P. Wallner

We look at preference change arising out of an interaction between two elements: the first is an initial preference ranking encoding a pre-existing attitude; the second element is…

cs.AI2021

Surprise Minimization Revision Operators

Adrian Haret

Prominent approaches to belief revision prescribe the adoption of a new belief that is as close as possible to the prior belief, in a process that, even in the standard case, can b…

cs.AI2016★ 3 cited

Distributing Knowledge into Simple Bases

Adrian Haret, Jean-Guy Mailly, Stefan Woltran

Understanding the behavior of belief change operators for fragments of classical logic has received increasing interest over the last years. Results in this direction are mainly co…