de Haan, Ronald
- Stable Matching with Uncertain Linear Preferences
2016/07/11 by Aziz, Haris, Biró, Péter, Gaspers, Serge +3 · 2 citations
#Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences
- The Parameterized Complexity of Reasoning Problems Beyond NP
2013/12/05 by Ronald de Haan, de Haan, Ronald, Stefan Szeider +1 · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic #Constraint Satisfaction and Optimization
- Obtaining a Proportional Allocation by Deleting Items
2017/05/31 by Dorn, Britta, de Haan, Ronald, Schlotter, Ildikó · 1 citation
#Computational Complexity (cs.CC) #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Multiagent Systems (cs.MA)
- On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models
2018/05/24 by de Haan, Ronald, van de Pol, Iris · 1 citation
#Artificial Intelligence (cs.AI) #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Egalitarian Judgment Aggregation
2021/02/04 by Botan, Sirin, de Haan, Ronald, Slavkovik, Marija +1 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- A Belief Model for Conflicting and Uncertain Evidence -- Connecting Dempster-Shafer Theory and the Topology of Evidence
2023/06/06 by Prieto, Daira Pinto, de Haan, Ronald, Özgün, Aybüke · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Multiagent Systems (cs.MA)