Skip to Main content Skip to Navigation
Conference papers

Knowledge Compilation in the Modal Logic S5

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00624482
Contributor : Meghyn Bienvenu <>
Submitted on : Sunday, September 18, 2011 - 4:38:56 PM
Last modification on : Wednesday, September 16, 2020 - 5:20:26 PM

Identifiers

  • HAL Id : hal-00624482, version 1

Citation

Meghyn Bienvenu, Hélène Fargier, Pierre Marquis. Knowledge Compilation in the Modal Logic S5. Twenty-Fifth Conference on Artificial Intelligence (AAAI-10), 2010, United States. pp.261-266. ⟨hal-00624482⟩

Share

Metrics

Record views

283