Completeness for linear continuous logic.

Seyed-Mohammad Bagheri Roghieh Safari

Published in: J. Log. Comput. (2017)

Keyphrases

piecewise linear
database
machine learning
image sequences
logic programming
automated reasoning
piecewise constant
computational properties
data sets
decision trees
multiscale
closed form
modal logic
linear systems
multi valued