Article dans une revue, LaHDAK, Artificial Intelligence, Computer Science, Intelligence artificielle

Quantifying Conflicts in Propositional Logic Through Prime Implicates

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⟩

Published on