The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength.

Jeremy Avigad Richard Sommer

Published in: J. Symb. Log. (1999)

Keyphrases

databases
model theoretic
artificial intelligence
high level
search algorithm
general purpose
logic programs
action theories