On Negation As Instantiation.

Alessandra Di Pierro Wlodzimierz Drabent

Published in: ALP (1996)

Keyphrases

logic programs
logic programming
datalog programs
predicate logic

computer vision
high level
expert systems
data sets

databases
neural network
data mining
search engine

probabilistic model
deductive databases
fixpoint
stable models