1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.AI2023★ 1 cited
A Belief Model for Conflicting and Uncertain Evidence -- Connecting Dempster-Shafer Theory and the Topology of Evidence
Daira Pinto Prieto, Ronald de Haan, Aybüke Özgün
One problem to solve in the context of information fusion, decision-making, and other artificial intelligence challenges is to compute justified beliefs based on evidence. In real-…
cs.AI2016★ 1 cited
Complexity Results for Manipulation, Bribery and Control of the Kemeny Procedure in Judgment Aggregation
Ronald de Haan
We study the computational complexity of several scenarios of strategic behavior for the Kemeny procedure in the setting of judgment aggregation. In particular, we investigate (1)…
cs.PL2012
Functional Logic Programming with Generalized Circular Coinduction
Ronald de Haan
We propose a method to adapt functional logic programming to deal with reasoning on coinductively interpreted programs as well as on inductively interpreted programs. In order to d…