Magidor-like and radin-like forcing.

Published in: Ann. Pure Appl. Log. (1983)

Keyphrases

nonmonotonic reasoning
default logic
artificial intelligence
logic programming
default theories
decision trees
image segmentation
pairwise
linear programming
logic programs