A Dichotomy for First-Order Reducts of Unary Structures.

Manuel Bodirsky Antoine Mottet

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

pairwise
higher order
rough sets
greedy algorithm
real time
first order logic
rough set theory
decision table
database
databases
information retrieval
decision making
expert systems
complex structures
attribute reduction
quantifier elimination