On the Computation of the Disjunctive Well-Founded Semantics.

Published in: J. Autom. Reason. (2001)

Keyphrases

logic programs
fixpoint
deductive databases
machine learning
high level
logic programming
datalog programs
data sets
genetic algorithm
website
case study
data management
answer sets