Reasoning About Universal Cubes in MCMT.

Sylvain Conchon Mattias Roux

Published in: ICFEM (2019)

Keyphrases

data cube
qualitative reasoning
neural network
information retrieval
database
machine learning
genetic algorithm
computer vision
digital libraries
expert systems
logic programming
formal theory
kolmogorov complexity