A Linear Axiomatization of Negation as Failure.

Serenella Cerrito

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

Keyphrases

predicate logic
database
neural network
information systems
website
least squares
logic programs
linear systems
linear constraints
general theory
root cause
failure prediction