Biblio

Export 4 results:
Author Title [ Type(Asc)] Year
Filters: Author is Sais, Lakhdar  [Clear All Filters]
Journal Article
S. Jabbour, Ma, Y., Badran, R., and Sais, L., Quantifying Conflicts in Propositional Logic Through Prime Implicates, {International Journal of Approximate Reasoning.}, 2017.
Conference Paper
S. Jabbour, Ma, Y., Badran, R., Sais, L., and Salhi, Y., On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing, in Proceedings of the Autonomous Agents and Multiagent Systems (AAMAS'15), Istanbul, Turkey, 2015.
S. Jabbour, Ma, Y., Badran, R., Sais, L., and Salhi, Y., A MIS Partition Based Framework for Measuring Inconsistency, in 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), Cape Town, South Africa, 2016.
S. Jabbour, Ma, Y., Badran, R., and Sais, L., On the Characterization of Inconsistency Measures: A Prime Implicates Based Framework, in The annual IEEE International Conference on Tools with Artificial Intelligence, Limassol, Cyprus, 2014.