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