Implementation Results in Classical Constructive Negation.

Susana Muñoz-Hernández Juan José Moreno-Navarro

Published in: ICLP (2004)

Keyphrases

efficient implementation
data sets
image processing
relational databases
databases
case study
multiscale
search algorithm
information technology
logic programs
logic programming
hardware implementation
parallel implementation
implementation issues