Skip to Main content Skip to Navigation
Journal articles

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 Humboldt University of Berlin
3 CRIL - Centre de Recherche en Informatique de Lens
4 Institute of Mathematics ans Statistics [Sao Paulo]
Document type :
Journal articles
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03673922
Contributor : Fabien DELORME Connect in order to contact the contributor
Submitted on : Friday, May 20, 2022 - 11:47:12 AM
Last modification on : Saturday, May 21, 2022 - 3:52:12 AM

Identifiers

  • HAL Id : hal-03673922, version 1

Collections

UNIV-ARTOIS | CNRS | CRIL

Citation

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 (JAIR), 2011, 42, pp.31-53. ⟨hal-03673922⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

7