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

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

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…