Picture for Ronald de Haan

Ronald de Haan

A Belief Model for Conflicting and Uncertain Evidence -- Connecting Dempster-Shafer Theory and the Topology of Evidence

Add code
Jun 06, 2023
Viaarxiv icon

Egalitarian Judgment Aggregation

Add code
Feb 04, 2021
Figure 1 for Egalitarian Judgment Aggregation
Figure 2 for Egalitarian Judgment Aggregation
Figure 3 for Egalitarian Judgment Aggregation
Viaarxiv icon

A Parameterized Complexity View on Description Logic Reasoning

Add code
Aug 11, 2018
Figure 1 for A Parameterized Complexity View on Description Logic Reasoning
Figure 2 for A Parameterized Complexity View on Description Logic Reasoning
Figure 3 for A Parameterized Complexity View on Description Logic Reasoning
Figure 4 for A Parameterized Complexity View on Description Logic Reasoning
Viaarxiv icon

Hunting for Tractable Languages for Judgment Aggregation

Add code
Aug 09, 2018
Figure 1 for Hunting for Tractable Languages for Judgment Aggregation
Figure 2 for Hunting for Tractable Languages for Judgment Aggregation
Figure 3 for Hunting for Tractable Languages for Judgment Aggregation
Figure 4 for Hunting for Tractable Languages for Judgment Aggregation
Viaarxiv icon

Expressing Linear Orders Requires Exponential-Size DNNFs

Add code
Jul 18, 2018
Viaarxiv icon

On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models

Add code
May 24, 2018
Figure 1 for On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models
Figure 2 for On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models
Figure 3 for On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models
Figure 4 for On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models
Viaarxiv icon

Complexity Results for Manipulation, Bribery and Control of the Kemeny Procedure in Judgment Aggregation

Add code
Aug 08, 2016
Figure 1 for Complexity Results for Manipulation, Bribery and Control of the Kemeny Procedure in Judgment Aggregation
Figure 2 for Complexity Results for Manipulation, Bribery and Control of the Kemeny Procedure in Judgment Aggregation
Figure 3 for Complexity Results for Manipulation, Bribery and Control of the Kemeny Procedure in Judgment Aggregation
Figure 4 for Complexity Results for Manipulation, Bribery and Control of the Kemeny Procedure in Judgment Aggregation
Viaarxiv icon

Local Backbones

Add code
Jul 18, 2014
Figure 1 for Local Backbones
Figure 2 for Local Backbones
Figure 3 for Local Backbones
Viaarxiv icon

Parameterized Complexity Results for Plan Reuse

Add code
Jul 16, 2013
Figure 1 for Parameterized Complexity Results for Plan Reuse
Figure 2 for Parameterized Complexity Results for Plan Reuse
Viaarxiv icon

The RegularGcc Matrix Constraint

Add code
Jan 03, 2012
Figure 1 for The RegularGcc Matrix Constraint
Figure 2 for The RegularGcc Matrix Constraint
Figure 3 for The RegularGcc Matrix Constraint
Figure 4 for The RegularGcc Matrix Constraint
Viaarxiv icon