Constructive Intensional Negation.

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

Published in: FLOPS (2004)

Keyphrases

logic programs
query evaluation
deductive databases
predicate logic
higher order
logic programming
neural network
data integration
datalog programs
compositional semantics
real time
computer vision
similarity measure
multi agent
inductive logic programming
containment of conjunctive queries