Fail Substitutions for Negation as Failure.

Jan Maluszynski Torbjörn Näslund

Published in: NACLP (1989)

Keyphrases

logic programming
logic programs
compositional semantics
real time
root cause
artificial intelligence
neural network
case study
high level
similarity measure
search algorithm
deductive databases
horn clauses
stable models
predicate logic