Saturated models of intuitionistic theories.

Published in: Ann. Pure Appl. Log. (2004)

Keyphrases

computational models
probabilistic model
experimental data
knowledge base
data sets
artificial intelligence
rough sets
decision makers
theoretical framework
mathematical models
formal models
accurate models