First Steps Towards a Formalization of Forcing.

Emmanuel Gunther Miguel Pagano Pedro Sánchez Terraf

Published in: LSFA (2018)

Keyphrases

knowledge representation
formal model
operational semantics
cooperative
pattern recognition
databases
data mining
knowledge base
training data
trade off
query processing
logical framework