The Horn theory of Boole's partial algebras.

Stanley N. Burris Hanamantagouda P. Sankappanavar

Published in: Bull. Symb. Log. (2013)

Keyphrases

horn theories
theoretical basis
np hard
general theory
multiscale
computational model
machine learning
case study
theoretical framework
belief functions
difference equations
maximal tractable
canonical representation