Iterating the Superjump Along Definable Prewellorderings.

Published in: Math. Log. Q. (1982)

Keyphrases

first order logic
transitive closure
answer sets
learning algorithm
database
databases
information retrieval
image processing
dynamic programming