Negation as Failure: Careful Closure Procedure.

Michael Gelfond Halina Przymusinska

Published in: Artif. Intell. (1986)

Keyphrases

image processing
real time
data sets
machine learning
data structure
first order logic
iterative procedure
root cause
failure prediction
containment of conjunctive queries