Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema.

Isabela Dramnesc Tudor Jebelean

Published in: SACI (2020)

Keyphrases

min max
functional programs
multiobjective optimization
max min
program synthesis
image sequences
object oriented
abductive inference
rough approximations
computer vision
knowledge base
data sets
texture synthesis
real valued
explanation based learning
logic programs
machine learning
neural network
databases