Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis.

Lawrence C. Paulson

Published in: CICM (2022)

Keyphrases

sufficient conditions
formal analysis
computer vision
decision trees
data sets
real world
data mining
machine learning
information systems
expert systems
special case
knowledge representation
np complete
datalog programs