Quantifying Conflicts in Propositional Logic Through Prime Implicates

Said Jabbour; Yue Ma; Raddaoui Badran; Lakhdar Sais

doi:10.1016/j.ijar.2016.12.017

Journal Articles International Journal of Approximate Reasoning Year : 2017

Quantifying Conflicts in Propositional Logic Through Prime Implicates

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

1
2
3
4

Said Jabbour

Function : Author
PersonId : 850089
ORCID : 0000-0002-8389-8332
IdRef : 136739075

Centre de Recherche en Informatique de Lens

Yue Ma

Function : Author
PersonId : 3460
IdHAL : yue-ma
IdRef : 150348363

Données et Connaissances Massives et Hétérogènes (LRI)

Raddaoui Badran

Function : Author

Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux

Centre National de la Recherche Scientifique

Lakhdar Sais

Function : Author
PersonId : 840352
ORCID : 0000-0003-2879-8627
IdRef : 07068541X

Centre de Recherche en Informatique de Lens

Domains

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

Yue Ma : Connect in order to contact the contributor

https://hal.science/hal-01483475

Submitted on : Monday, March 6, 2017-12:32:20 AM

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

Dates and versions

hal-01483475 , version 1 (06-03-2017)

Identifiers

HAL Id : hal-01483475 , version 1
DOI : 10.1016/j.ijar.2016.12.017

Cite

Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais. Quantifying Conflicts in Propositional Logic Through Prime Implicates. International Journal of Approximate Reasoning, 2017, 89, pp.27-40. ⟨10.1016/j.ijar.2016.12.017⟩. ⟨hal-01483475⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS INSTITUT-TELECOM CNRS TELECOM-SUDPARIS UMR8623 CENTRALESUPELEC LRI-LAHDAK UNIV-PARIS-SACLAY LISN GS-ENGINEERING GS-COMPUTER-SCIENCE LISN-LAHDAK CRIL

121 View

0 Download

Quantifying Conflicts in Propositional Logic Through Prime Implicates

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share