Strong Compactness and a Global Version of a Theorem of Ben-David and Magidor.

Arthur W. Apter

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

Keyphrases

high level
search algorithm
nonmonotonic reasoning
database
machine learning
genetic algorithm
multiresolution
default logic
global information