activity
19992022
most citedCoherent Integration of Databases by Abductive Logic Programming

38 citations · 106 across the 11 of their papers we have counts for

collaborators
Showing 2018Show all

1 paper · 1 filter

cs.PL2018

Transpiling Programmable Computable Functions to Answer Set Programs

Ingmar Dasseville, Marc Denecker

Programming Computable Functions (PCF) is a simplified programming language which provides the theoretical basis of modern functional programming languages. Answer set programming…