Cumulativity without Closure of the Domain under Finite Unions.

Dov M. Gabbay Karl Schlechta

Published in: Rev. Symb. Log. (2008)

Keyphrases

domain specific
domain independent
data mining
domain experts
databases
machine learning
image segmentation
relational databases
mobile robot
general purpose
finite number
unit length