Negation as Failure II.

John C. Shepherdson

Published in: J. Log. Program. (1985)

Keyphrases

logic programs
logic programming
fixpoint
real time
information retrieval
failure rate
failure detection
neural network
data mining
e learning
deductive databases
horn clauses
failure modes
compositional semantics