Gentzen-style Characterizations of Negation as Failure.

Published in: AISMC (1992)

Keyphrases

horn clauses
logic programs
failure prediction
inference rules
machine learning
logic programming
failure detection
acyclic database schemes
real time
data mining
knowledge base
deductive databases
failure rate
predicate logic