University of Luxembourg [Luxembourg] (Campus Kirchberg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Campus de Limpertsberg
162a, avenue de la Faïencerie
L-1511 Luxembourg
Campus de Belval
2, avenue de l'Université
L-4365 Esch-sur-Alzette - Luxembourg)
https://hal-univ-artois.archives-ouvertes.fr/hal-03674204 Contributor : Fabien DELORMEConnect in order to contact the contributor Submitted on : Friday, May 20, 2022 - 2:23:44 PM Last modification on : Saturday, May 21, 2022 - 3:53:44 AM
Richard Booth, Thomas Meyer, Ivan Varzinczak. Next Steps in Propositional Horn Contraction. 21st International Joint Conference on Artificial Intelligence (IJCAI'09), 2009, Pasadena, United States. pp.702-707. ⟨hal-03674204⟩