A clause is a disjunction of literals. We use set notation; a set of literals denotes the clause that is their disjunction. The empty clause is denoted by . The width of a clause C, denoted |C|, is the number of literals in it. The width of a CNF formula F , denoted width(F ), is the maximum width of any clause in F . For a partial assignment ρ, C|ρ denotes the restriction of the clause C by ap...

Clause recommendation is the problem of recommending a clause to legal contract, given context contract in question and type which should belong. With not much prior work being done toward generation contracts, this was proposed as first step bigger generation. As an open-ended text problem, distinguishing characteristics lie nature language sublanguage considerable similarity textual content w...

In a market environment with random detection of product quality, a firm can employ umbrella branding as a strategy to convince consumers of the high quality of its products. Alternatively, a firm can rely on external certification of the quality of one or both of its products. We characterize equilibria in which umbrella branding fully or partially substitutes for external certification. We al...

In regression applications with categorical predictors, interest often focuses on comparing the null hypothesis of homogeneity to an ordered alternative. This article proposes a Bayesian approach for addressing this problem in the setting of normal linear and probit regression models. The regression coefficients are assigned a conditionally conjugate prior density consisting of mixtures of poin...