MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics.

Kazushige Terui

Published in: CSL (2018)

Keyphrases

parameter free
categorical data
higher order
outlier detection
expressive power
hierarchical clustering algorithm
fully automatic
active databases
high order
modal logic
rule learning
association rules
rule sets
production rules
classical logic
conditional logic