A definable E 0 class containing no definable elements.

Vladimir Kanovei Vassily A. Lyubetsky

Published in: Arch. Math. Log. (2015)

Keyphrases

first order logic
answer sets
data sets
multi class classification
feature selection
e learning
image processing
relational databases
data model
object classes
transitive closure