Truthful Monadic Abstractions.

Taus Brock-Nannestad Carsten Schürmann

Published in: IJCAR (2012)

Keyphrases

deductive databases
high level
datalog queries
datalog programs
mechanism design
database
database systems
expert systems
data structure
special case
transitive closure