no code implementations • 31 Mar 2015 • Marta Arias, José L. Balcázar, Cristina Tîrnăucă
A definite Horn theory is a set of n-dimensional Boolean vectors whose characteristic function is expressible as a definite Horn formula, that is, as conjunction of definite Horn clauses.
no code implementations • 20 Jan 2015 • Albert Atserias, José L. Balcázar, Marie Ely Piceno
By exploiting a previously noted alternative view of the entailment in terms of linear programming duality, we characterize exactly the cases of entailment from arbitrary numbers of premises, again both in the stand-alone case and in the case of presence of additional classical implications.