Quantifying Conflicts in Propositional Logic Through Prime Implicates - Laboratoire Interdisciplinaire des Sciences du Numérique Accéder directement au contenu
Article Dans Une Revue International Journal of Approximate Reasoning Année : 2017

Dates et versions

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

Identifiants

Citer

Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Saïs. 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⟩
126 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More