Preservation theorems in linear continuous logic.

Seyed-Mohammad Bagheri Roghieh Safari

Published in: Math. Log. Q. (2014)

Keyphrases

delay insensitive
piecewise linear
real time
set theory
closed form
multiscale
case study
learning algorithm
machine learning
search engine
image sequences
artificial intelligence
knowledge representation
logic programming
linear constraints
continuous domains
piecewise constant
data sets
linear complexity
database