What Is Negation as Failure?

Published in: Logic Programs, Norms and Action (2012)

Keyphrases

logic programs
logic programming
failure prediction
genetic algorithm
deductive databases
component failures
failure rate
fixpoint
compositional semantics
failure detection
predicate logic
data sets
root cause
real time
computer vision
data mining
containment of conjunctive queries
real world