Login / Signup
Subset Assertions and Negation As Failure.
Mauricio Osorio
Bharat Jayaraman
Published in:
ILPS (1993)
Keyphrases
</>
knowledge base
logic programs
deductive databases
neural network
information retrieval
image processing
logic programming
subset selection
e learning
search algorithm
artificial neural networks
fixpoint
datalog programs
predicate logic
failure detection