Membership Checking in Greatest Fixpoints Revisited.

Martin Hofmann Dulma Rodriguez

Published in: FICS (2009)

Keyphrases

logic programs
nonmonotonic reasoning
fixpoint
deductive databases
database
data sets
decision trees
information technology
artificial neural networks
fuzzy membership