Strong Completeness for Markovian Logics.

Dexter Kozen Radu Mardare Prakash Panangaden

Published in: MFCS (2013)

Keyphrases

expressive power
data sets
genetic algorithm
data quality
decision making
decision trees
inference rules
classical logic
conditional logic