MacNeille completion and Buchholz' Omega rule for parameter-free second order logics.
Kazushige TeruiPublished in: CoRR (2018)
Keyphrases
- parameter free
- categorical data
- outlier detection
- higher order
- hierarchical clustering algorithm
- expressive power
- fully automatic
- association rules
- high order
- rule sets
- modal logic
- classical logic
- inference rules
- computer vision
- machine learning
- object recognition
- pattern recognition
- databases
- image sequences
- image segmentation
- production rules