Abduction Compared with Negation by Failure.

Kave Eshghi Robert A. Kowalski

Published in: ICLP (1989)

Keyphrases

significant improvement
logic programming
background knowledge
deductive databases
data sets
data mining
artificial intelligence
search algorithm
logic programs
belief revision