1 citations · 2 across the 7 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
cs.LO2015
Quantitative Redundancy in Partial Implications
José L. Balcázar
We survey the different properties of an intuitive notion of redundancy, as a function of the precise semantics given to the notion of partial implication. The final version of thi…
cs.LG2015
Learning Definite Horn Formulas from Closure Queries
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 c…
cs.LO2015★ 1 cited
Relative Entailment Among Probabilistic Implications
Albert Atserias, José L. Balcázar, Marie Ely Piceno
We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-l…