Publications

Article(s) de revue(s) internationale(s)

2016 Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, Badran Raddaoui, On an MCS-based inconsistency measure in International Journal of Approximate Reasoning (IJAR),2016. [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]

2015 Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, Mining Top-k motifs with a SAT-based framework in Artificial Intelligence (AIJ),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.

Article(s) de conférence(s) internationale(s)

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

2016 Abdelhamid Boudane, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, A SAT-based Approach for Mining Association Rules in International Joint Conference on Artificial Intelligence (IJCAI-16),juillet 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.

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 AAMAS,pp. 1749-1750, 2015.

2015 Michael Sioutis, Yakoub Salhi, Jean-François Condotta, A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks in FLAIRS Conference,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 ACM Symposium on Applied Computing (SAC’15),ACM, pp. 1874-1879, 2015.

2015 Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, Decomposition Based SAT Encodings for Itemset Mining Problems in PAKDD (2),pp. 662-674, 2015.

2015 Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure, Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method in International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’15),Springer, pp. 54-69, 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 Saïd Jabbour, Stéphanie Roussel, Lakhdar Saïs, Yakoub Salhi, Mining to Compress Table Constraints in 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI’15),IEEE Computer Society, pp. 405-412, 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 Artificial Intelligence Applications and Innovations (AIAI),Springer, pp. 130-150, 2015.

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.

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 Saïd Jabbour, Joao Marques-Silva, Lakhdar Saïs, Yakoub Salhi, Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form in JELIA,pp. 152-165, 2014.

2014 Belaid Benhamou, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, Symmetry Breaking in Itemset Mining in KDIR,pp. 86-96, 2014.

2014 Souhila Kaci, Yakoub Salhi, A Constructive Argumentation Framework in AAAI,pp. 1070-1076, 2014.

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

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 Yakoub Salhi, Saïd Jabbour, Lakhdar Saïs, Graded Modal Logic GS5 and Itemset Support Satisfiability in Information Search, Integration and Personalization (ISIP’13),Springer, Communications in Computer and Information Science, pp. 131-140, 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.

2013 Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi, Top-k Frequent Closed Itemset Mining Using Top-k SAT Problem in 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, 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.

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.

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.

2008 Didier Galmiche, Yakoub Salhi, Calculi for an Intuitionistic Hybrid Modal Logic in Proceedings of International Workshop on Intuitionistic Modal Logics and Applications,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.

Article(s) de conférence(s) nationale(s)

2014 Saïd Jabbour, Mehdi Khiari, Lakhdar Saïs, Yakoub Salhi, Karim Tabia, Symétries et Extraction de Motifs Ensemblistes in EGC,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.

Rapport(s) technique(s)

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]