Skip to Main content Skip to Navigation
New interface
Conference papers

Next Steps in Propositional Horn Contraction

Document type :
Conference papers
Complete list of metadata

https://hal-univ-artois.archives-ouvertes.fr/hal-03674205
Contributor : Fabien DELORME Connect in order to contact the contributor
Submitted on : Friday, May 20, 2022 - 2:23:45 PM
Last modification on : Saturday, May 21, 2022 - 3:53:44 AM

Identifiers

  • HAL Id : hal-03674205, version 1

Collections

Citation

Richard Booth, Thomas Meyer, Ivan Varzinczak. Next Steps in Propositional Horn Contraction. International Symposium on Formalizations of Commonsense Reasoning (Commonsense'09), 2009, Toronto, Canada. ⟨hal-03674205⟩

Share

Metrics

Record views

2