Verified Generic Local Fixpoint Algorithms.

Aleksandr Karbyshev

Published in: AlgoSyn (2010)

Keyphrases

fixpoint
learning algorithm
logic programs
deductive databases
orders of magnitude
databases
data structure
database
expert systems
hidden markov models
data management
data storage