First steps towards a formalization of Forcing.

Emmanuel Gunther Miguel Pagano Pedro Sánchez Terraf

Published in: CoRR (2018)

Keyphrases

knowledge representation
formal model
logical framework
database
real world
machine learning
case study
pattern recognition
trade off
data model
np hard
domain knowledge
knowledge discovery
rough sets
operational semantics
logical language