Publications

Articles de revues internationales

2018 Abdelhamid Boudane, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, SAT based Data Mining in International Journal on Artificial Intelligence Tools (IJAIT),vol. 27, n° 01, pp. 24, février 2018.

2017 Michael Sioutis, Yakoub Salhi, Jean-François Condotta, Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning in Knowledge Engineering Review (KER),vol. 32, n° e4, 2017.

2017 Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, Badran Raddaoui, On an MCS-based inconsistency measure in International Journal of Approximate Reasoning (IJAR),vol. 80, pp. 443–459, 2017. [Download]

2017 Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, Mining Top-k motifs with a SAT-based framework in Artificial Intelligence (AIJ),vol. 244, pp. 30–47, 2017. [Download]

2016 Jean-François Condotta, Souhila Kaci, Yakoub Salhi, Optimization in temporal qualitative constraint networks in Acta Informatica,vol. 53, n° 2, Springer, pp. 149–170, 2016. [Download]

2015 Didier Galmiche, Yakoub Salhi, Tree-sequent calculi and decision procedures for intuitionistic modal logics in Journal of Logic and Computation (JLC),Oxford University Press, 2015. [Download]

2011 Didier Galmiche, Yakoub Salhi, Sequent Calculi and Decidability for Intuitionistic Hybrid Logic in Information and Computation,vol. 209, n° 12, pp. 1447?1463, 2011.

2010 Didier Galmiche, Yakoub Salhi, Label-free natural deduction systems for intuitionistic and classical modal logics in Journal of Applied Non-Classical Logics,vol. 20, n° 4, pp. 373 - 421, 2010.

2010 Didier Galmiche, Yakoub Salhi, A Family of Gödel Hybrid Logics in Journal of Applied Logic,vol. 8, n° 4, pp. 371 - 385, 2010.

Articles de conférences internationales

2017 Hattad Soukaina, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints in 9th International Conference on Agents and Artificial Intelligence (ICAART’17),pp. 299–307, 2017.

2017 Abdelhamid Boudane, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, Clustering Complex Data Represented as Propositional Formulas in 21st International Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD’17),pp. 441–452, 2017.

2017 Yazid Boumarafi, Lakhdar Saïs, Yakoub Salhi, From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes in 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR’17),pp. 286-299, 2017.

2017 Abdelhamid Boudane, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, Enumerating Non-redundant Association Rules Using Satisfiability in 21st International Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD’17),pp. 824-836, 2017.

2016 Saïd Jabbour, Badran Raddaoui, Lakhdar Saïs, Yakoub Salhi, On the Computation of Top-k Extensions in Abstract Argumentation Frameworks in 22nd European Conference on Artificial Intelligence (ECAI’16),pp. 913-920, août 2016.

2016 Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Saïs, Yakoub Salhi, A MIS Partition Based Framework for Measuring Inconsistency in 15th International Conference on Principles of Knowledge Representation and Reasoning (KR’16),AAAI Press, pp. 84-93, 2016.

2016 Jean-François Condotta, Badran Raddaoui, Yakoub Salhi, Quantifying Conflicts for Spatial and Temporal Information in 15th International Conference on Principles of Knowledge Representation and Reasoning (KR’16),AAAI Press, pp. 443-452, 2016.

2016 Abdelhamid Boudane, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, A SAT-based Approach for Mining Association Rules in 25th International Joint Conference on Artificial Intelligence (IJCAI’16),pp. 2472–2478, juillet 2016.

2015 Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Saïs, Yakoub Salhi, On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing in 14th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS’15),pp. 1749-1750, 2015.

2015 Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure, David A. Randell, Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework in 11th Artificial Intelligence Applications and Innovations (AIAI’15),Springer, pp. 130-150, 2015.

2015 Saïd Jabbour, Stéphanie Roussel, Lakhdar Saïs, Yakoub Salhi, Mining to Compress Table Constraints in 27th International Conference on Tools with Artificial Intelligence (ICTAI’15),IEEE Computer Society, pp. 405-412, 2015.

2015 Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha, On Measuring Inconsistency Using Maximal Consistent Sets in 13th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’15),Springer, pp. 267-276, 2015.

2015 Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure, Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method in 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’15),Springer, pp. 54-69, 2015.

2015 Abdelhamid Boudane, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, Decomposition Based SAT Encodings for Itemset Mining Problems in 19th International Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD’15),pp. 662-674, 2015.

2015 Michael Sioutis, Yakoub Salhi, Jean-François Condotta, A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks in 28th International Florida Artificial Intelligence Research Society Conference (FLAIRS’15),pp. 119-122, 2015.

2015 Michael Sioutis, Yakoub Salhi, Jean-François Condotta, On the use and effect of graph decomposition in qualitative spatial and temporal reasoning in 30th International ACM Symposium on Applied Computing (SAC’15),ACM, pp. 1874-1879, 2015.

2014 Saïd Jabbour, Joao Marques-Silva, Lakhdar Saïs, Yakoub Salhi, Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form in 14th European Conference on Logics in Artificial Intelligence (JELIA’14),pp. 152-165, 2014.

2014 Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi, Extending Modern SAT Solvers for Models Enumeration in 11th IEEE International Conference on Information Reuse and Integration (IRI’14),IEEE Computer Society, pp. 803-810, 2014.

2014 Belaid Benhamou, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, A Generic and Declarative Method for Symmetry Breaking in Itemset Mining in 6th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K’14),Springer, pp. 143-160, 2014.

2014 Belaid Benhamou, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, Symmetry Breaking in Itemset Mining in 6th International Conference on Knowledge Discovery and Information Retrieval (KDIR’14),pp. 86–96, 2014.

2014 Souhila Kaci, Yakoub Salhi, A Constructive Argumentation Framework in 28th AAAI Conference on Artificial Intelligence (AAAI’14),pp. 1070-1076, 2014.

2014 Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure, A Qualitative Spatio-Temporal Framework Based on Point Algebra in 16th Conference on Artificial Intelligence : Methodology, Systems, Applications (AIMSA’14),pp. 117-128, 2014.

2013 Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, Takeaki Uno, Mining-Based Compression Approach of Propositional Formulae in 22nd International Conference on Information and Knowledge Management (CIKM’13),ACM Press, pp. 289-298, octobre 2013.

2013 Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, Boolean Satisfiability for Sequence Mining in 22nd International Conference on Information and Knowledge Management (CIKM’13),ACM Press, pp. 649-658, octobre 2013.

2013 Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, Top-k Frequent Closed Itemset Mining Using Top-k SAT Problem in 12th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML/PKDD’13),Springer, vol. 146, pp. 131-140, 2013.

2013 Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, A Pigeon-Hole Based Encoding of Cardinality Constraints in 29th International Conference on Logic Programming (ICLP’13),2013.

2013 Saïd Jabbour, Mehdi Khiari, Lakhdar Saïs, Yakoub Salhi, Karim Tabia, Symmetry-Based Pruning in Itemset Mining in 25th International Conference on Tools with Artificial Intelligence (ICTAI’13),IEEE Computer Society, novembre 2013.

2012 Emmanuel Coquery, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence in 20th European Conference on Artificial Intelligence (ECAI’12),IOS Press, pp. 258-263, 2012.

2012 Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, Karim Tabia, Symmetries in Itemset Mining in 20th European Conference on Artificial Intelligence (ECAI ‘12),IOS Press, pp. 432-437, août 2012.

2010 Didier Galmiche, Yakoub Salhi, Label-free Proof Systems for Intuitionistic Modal Logic IS5 in In 16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning,Lecture Notes in Computer Science (LNCS) 6355, pp. 255-271, 2010.

Articles de workshops internationaux

2013 Yakoub Salhi, Saïd Jabbour, Lakhdar Saïs, Graded Modal Logic GS5 and Itemset Support Satisfiability in 8th International Workshop on Information Search, Integration and Personalization (ISIP’13),Springer, Communications in Computer and Information Science, pp. 131-140, 2013.

2008 Didier Galmiche, Yakoub Salhi, Calculi for an Intuitionistic Hybrid Modal Logic in Proceedings of International Workshop on Intuitionistic Modal Logics and Applications,2008.

2008 Didier Galmiche, Yakoub Salhi, Labelled Calculi for Lukasiewicz Logics in 15th Workshop on Logic, Language, Information and Computation (WoLLIC’08),Lecture Notes in Computer Science (LNCS) 5110, pp. 194-207, 2008.

2007 Didier Galmiche, Yakoub Salhi, Provability and Countermodels in Go?del-Dummett Logics in International Workshop on Disproving: Non-theorems, Non-validity, Non-Provability - DISPROVING’07,2007.

Articles de conférences nationales

2014 Saïd Jabbour, Mehdi Khiari, Lakhdar Saïs, Yakoub Salhi, Karim Tabia, Symétries et Extraction de Motifs Ensemblistes in 14ème Conférence sur l’Extraction et la Gestion des Connaissances (EGC’14),pp. 407-418, 2014.

2014 Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi, Autours des Strategies de Reduction de la Base de Clauses Apprises. in 10èmes Journées Francophones de Programmation par Contraintes (JFPC’14),juin 2014.

Rapports techniques

2015 Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, On SAT Models Enumeration in Itemset Mining in CoRR,ARXIV, 2015. [Download]

2014 Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Saïs, Yakoub Salhi, On the measure of conflicts: A MUS-Decomposition Based Framework in CoRR,ARXIV, 2014. [Download]

2014 Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi, Revisiting the Learned Clauses Database Reduction Strategies in CoRR,ARXIV, 2014. [Download]

2013 Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, A Mining-Based Compression Approach for Constraint Satisfaction Problems arxiv, mai 2013. [Download]