Decidable fragments of many-sorted logic.

Aharon Abadi Alexander Rabinovich Mooly Sagiv

Published in: J. Symb. Comput. (2010)

Keyphrases

first order logic
data mining
transitive closure
real world
artificial intelligence
image segmentation
query language
cost model
horizontal fragmentation