Cut-Property and Negation as Failure.

Robert F. Stärk

Published in: Int. J. Found. Comput. Sci. (1994)

Keyphrases

logic programs
logic programming
failure prediction
artificial intelligence
objective function
deductive databases
global consistency
knowledge base
image processing
horn clauses
failure rate
highly reliable