Aggregation and Negation-As-Failure.

Mauricio Osorio Bharat Jayaraman

Published in: New Gener. Comput. (1999)

Keyphrases

logic programs
logic programming
horn clauses
databases
data aggregation
rank aggregation
predicate logic
knowledge base
fixpoint
success or failure
failure detection
failure prediction
genetic algorithm
learning algorithm
data structure
root cause