Implementing type-based constructive negation.

Published in: SAC (2007)

Keyphrases

logic programs
special case
logic programming
computer vision
data sets
web services
lower bound
relational databases
probability distribution