The Undecidability of Two Completeness Notions for the "Negation as Failure".

Howard A. Blair

Published in: ICLP (1982)

Keyphrases

logic programs
logic programming
description logics
query containment
containment of conjunctive queries
data sets
predicate logic
data quality
probabilistic planning
failure modes
databases
neural network
failure rate
answering queries
model theoretic
failure detection