Fibring: Completeness Preservation.

Alberto Zanardo Amílcar Sernadas Cristina Sernadas

Published in: J. Symb. Log. (2001)

Keyphrases

modal logic
long term
data quality
real world
learning algorithm
decision making
knowledge base
preprocessing
user interface
digital images
digital preservation
formal proofs