Translating SUMO-K to Higher-Order Set Theory.

Chad E. Brown Adam Pease Josef Urban

Published in: FroCoS (2023)

Keyphrases

set theory
higher order
partial order
fuzzy set theory
high order
first order logic
wordnet
rough set theory
markov random field
fuzzy sets
natural images
algebraic geometry
pairwise
rough sets
mathematical morphology
multi dimensional
probability theory
cooperative
real world
neural network
databases