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

Maximiliano Cristiá Gianfranco Rossi

Published in: ACM Trans. Comput. Log. (2024)

Keyphrases

finite sets
piecewise linear
linearly separable
real numbers
domain knowledge
decision rules
positive and negative examples
machine learning
training data
feature vectors
background knowledge
dynamical systems
input space