Next Steps in Propositional Horn Contraction

Richard Booth; Thomas Meyer; Ivan Varzinczak

Conference Papers Year : 2009

Next Steps in Propositional Horn Contraction

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

1
2
3
4

Richard Booth

Function : Author

Faculty of Science, Technology and Communication [Luxembourg]

Interdisciplinary Centre for Security, Reliability and Trust [Luxembourg]

Thomas Meyer

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

Chimie de la matière complexe

Ivan Varzinczak

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

Centre de Recherche en Informatique de Lens

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-03674205

Submitted on : Friday, May 20, 2022-2:23:45 PM

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

Dates and versions

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

Identifiers

HAL Id : hal-03674205 , version 1

Cite

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⟩

Next Steps in Propositional Horn Contraction

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share