Definability for model counting

Jean-Marie Lagniez; Emmanuel Lonca; Pierre Marquis

doi:10.1016/j.artint.2019.103229

Journal Articles Artificial Intelligence Year : 2020

Definability for model counting

(1) , (2) , (2)

1
2

Jean-Marie Lagniez

Function : Author
PersonId : 940759
ORCID : 0000-0002-6557-4115
IdRef : 157527808

Huawei Technologies France

Emmanuel Lonca

Function : Author
PersonId : 179860
IdHAL : emmanuel-lonca
ORCID : 0000-0002-9502-2821

Centre de Recherche en Informatique de Lens

Pierre Marquis

Function : Author
PersonId : 747412
IdHAL : pierre-marquis
ORCID : 0000-0002-7979-6608
IdRef : 060756152

Centre de Recherche en Informatique de Lens

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]

Fichier principal

S0004370218303928.pdf (1018.29 Ko)

Origin : Files produced by the author(s)

Accord Elsevier CCSD : Connect in order to contact the contributor

https://hal-univ-artois.archives-ouvertes.fr/hal-03167468

Submitted on : Monday, March 7, 2022-2:04:22 PM

Last modification on : Friday, October 7, 2022-4:46:06 PM

Long-term archiving on: Wednesday, June 8, 2022-7:44:44 PM

Dates and versions

hal-03167468 , version 1 (07-03-2022)

Licence

Attribution - NonCommercial - CC BY 4.0

Identifiers

HAL Id : hal-03167468 , version 1
DOI : 10.1016/j.artint.2019.103229
PII : S0004-3702(18)30392-8

Cite

Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis. Definability for model counting. Artificial Intelligence, 2020, 281, pp.103229. ⟨10.1016/j.artint.2019.103229⟩. ⟨hal-03167468⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS CNRS CRIL

25 View

29 Download

Definability for model counting

Domains

Dates and versions

Licence

Identifiers

Cite

Export

Collections

Altmetric

Share