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

Richard Booth; Thomas Meyer; Ivan Varzinczak; Renata Wassermann

Journal Articles Journal of Artificial Intelligence Research (JAIR) Year : 2011

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

(1) , (2) , (3) , (4)

1
2
3
4

Richard Booth

Function : Author

Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]

Thomas Meyer

Function : Author
PersonId : 762589
ORCID : 0000-0002-2736-7350

Humboldt University Of Berlin

Ivan Varzinczak

Function : Author
PersonId : 1129352
ORCID : 0000-0002-0025-9632
IdRef : 114587450

Centre de Recherche en Informatique de Lens

Renata Wassermann

Function : Author

Institute of Mathematics ans Statistics [Sao Paulo]

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]

Fabien DELORME : Connect in order to contact the contributor

https://hal-univ-artois.archives-ouvertes.fr/hal-03673922

Submitted on : Friday, May 20, 2022-11:47:12 AM

Last modification on : Friday, March 24, 2023-2:53:27 PM

Dates and versions

hal-03673922 , version 1 (20-05-2022)

Identifiers

HAL Id : hal-03673922 , version 1

Cite

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⟩

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share