A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals.

Maximiliano Cristiá Gianfranco Rossi

Published in: CoRR (2021)

Keyphrases

finite sets
piecewise linear
linearly separable
real numbers
schema mappings
decision rules
positive and negative examples
reinforcement learning
linear classifiers
floating point