On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic

Richard Booth (1) , Thomas Meyer (2) , Ivan Varzinczak (3) , Renata Wassermann (4)

1 SnT - Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]
2 HU Berlin - Humboldt-Universität zu Berlin = Humboldt University of Berlin = Université Humboldt de Berlin
3 CRIL - Centre de Recherche en Informatique de Lens
4 Institute of Mathematics ans Statistics [Sao Paulo]

Domaines: Intelligence artificielle [cs.AI]

Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann. On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. Journal of Artificial Intelligence Research, 2011, 42, pp.31-53. ⟨hal-03673922⟩