Skip to Main content Skip to Navigation
New interface
Conference papers

Next Steps in Propositional Horn Contraction

Richard Booth 1, 2 Thomas Meyer 3 Ivan Varzinczak 4 
1 FSTC - Faculty of Science, Technology and Communication [Luxembourg]
2 SnT - Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]
3 CMC - Chimie de la matière complexe
4 CRIL - Centre de Recherche en Informatique de Lens
Document type :
Conference papers
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03674204
Contributor : Fabien DELORME Connect 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

Identifiers

  • HAL Id : hal-03674204, version 1

Collections

UNIV-ARTOIS | CNRS | INC-CNRS | SITE-ALSACE | CRIL

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

3