Disjunctions of Horn Theories and Their Cores Disjunctions of Horn Theories and Their Cores

In this paper, we study issues on disjunctions of propositional Ho rn theories. In particular, we consider deciding whether a disjunction of Horn theories is Hor n, and, if not, computing a Horn core (i.e., a maximal Horn theory included in this disjunction) and Horn envelope (i.e., the minimum Horn theory including the disjunction). The problems are inv… CONTINUE READING