Implementing Constructive Intensional Negation.

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

Published in: New Gener. Comput. (2008)

Keyphrases

logic programs
higher order
neural network
genetic algorithm
data structure
fixpoint
database
search engine
computer vision
multiscale
logic programming
data integration
query evaluation
horn clauses
predicate logic