Combined Covers and Beth Definability.

Diego Calvanese Silvio Ghilardi Alessandro Gianola Marco Montali Andrey Rivkin

Published in: CoRR (2019)

Keyphrases

fixed point
propositional logic
image processing
three dimensional
databases
artificial intelligence
search engine
feature selection
case study
optimal solution
book covers