On Measure Quantifiers in First-Order Arithmetic.
Melissa AntonelliUgo Dal LagoPaolo PistonePublished in: CiE (2021)
Keyphrases
- first order logic
- similarity measure
- quantifier free
- higher order
- distance measure
- social networks
- information systems
- image segmentation
- data sets
- artificial intelligence
- stochastic dominance
- quantifier elimination
- inference rules
- databases
- neural network
- association rules
- natural language
- multiscale
- real world
- image processing
- knowledge base