Yakoub Salhi - Professor
Personal Data
- 03 21 79 32 74
- salhi@cril.fr
- http://www.cril.univ-artois.fr/~salhi
https://orcid.org/0000-0003-0100-4428
- idHalyakoub-salhi
-
- iut
IUT de Lens
Rue de l'Université SP 16
62307 Lens Cedex
France
Degree prepared or obtained while being at CRIL
- Habilitation : Modeling and classical propositional logic 2019-11-27
Research Axes
- Knowledge
- Constraints
- Data
-
Recent Projects
- ANR PRCE BLaSST 2022-2027
Current PhD students
- Abderrahmane Boukontar : Analysis of complex data using qualitative reasoning
- Daniel Crowley : SAT-based Approaches for Formal Verification with B method
Software
Publications
International journals
2017 Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, Badran Raddaoui, On an MCS-based inconsistency measure in International Journal of Approximate Reasoning,vol. 80, pp. 443 - 459, 2017.
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,vol. 32, pp. e4, 2017.
2016 Jean-François Condotta, Souhila Kaci, Yakoub Salhi, Optimization in temporal qualitative constraint networks in Acta Informatica,vol. 53, n° 2, pp. 149-170, 2016.
International conferences
2021 Yakoub Salhi, Inconsistency Measurement for Paraconsistent Inference in Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21},International Joint Conferences on Artificial Intelligence Organization, pp. 2033-2039, 2021.
2020 Yakoub Salhi, A Framework for Measuring Information Asymmetry in 34th AAAI Conference on Artificial Intelligence (AAAI'20),pp. 2983-2990, 2020.
2020 Yakoub Salhi, On Reasoning about Access to Knowledge in The 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR'20),2020.
2020 Yakoub Salhi, On satisfiability problem in modal logic S5 in 5th ACM/SIGAPP Symposium on Applied Computing (SAC'20),pp. 948-955, 2020.
2020 Yakoub Salhi, Inconsistency Measurement for Improving Logical Formula Clustering in 29th International Joint Conference in Artificial Intelligence (IJCAI'20),pp. 1891-1897, 2020.
2019 Yakoub Salhi, Measuring Inconsistency Through Subformula Forgetting in Scalable Uncertainty Management - 13th International Conference (SUM 2019),2019.
2019 Yakoub Salhi, Qualitative Reasoning and Data Mining in International Symposium on Temporal Representation and Reasoning (TIME),2019.
2019 Yazid Boumarafi, Yakoub Salhi, On Solving Exactly-One-SAT in 31st IEEE International Conference on Tools with Artificial Intelligence (ICTAI'19),2019.
2019 Yakoub Salhi, On an Argument-centric Persuasion Framework in 18th International Conference on Autonomous and MultiAgent Systems (AAMAS'19),2019.
2019 Yakoub Salhi, Entailment Functions and Reasoning Under Inconsistency in 18th International Conference on Autonomous and MultiAgent Systems (AAMAS'19),2019.
2019 Yakoub Salhi, On Enumerating All the Minimal Models for Particular CNF Formula Classes in Proceedings of the 11th International Conference on Agents and Artificial Intelligence (ICAART'19),2019.
2018 Yazid Boumarafi, Yakoub Salhi, Tractable Classes in Exactly-One-SAT in Artificial Intelligence: Methodology, Systems, and Applications - 18th International Conference (AIMSA'18),2018.
2018 Yakoub Salhi, A Method for Generating all the Prime Implicants of Binary CNF Formulas in 15th International Symposium on Artificial Intelligence and Mathematics (ISAIM'18),2018.
2018 Yakoub Salhi, Approaches for Enumerating All the Essential Prime Implicants in Artificial Intelligence: Methodology, Systems, and Applications - 18th International Conference (AIMSA'18),2018.
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 Said Jabbour, Souhila Kaci, Lakhdar Sais, Yakoub Salhi, Itemset Mining with Penalties in ICTAI: International Conference on Tools with Artificial Intelligence,2017.
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 Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais, Yakoub Salhi, A MIS Partition Based Framework for Measuring Inconsistency in 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16),2016.
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 Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference (TABLEAUX 2015),pp. 54-69, 2015.
2015 Michael Sioutis, Yakoub Salhi, Jean-François Condotta, A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks in Twenty-Eighth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2015),2015.
2015 Yakoub Salhi, Michael Sioutis, A Resolution Method for Modal Logic S5 in GCAI 2015. Global Conference on Artificial Intelligence,pp. 252-240, 2015.
2015 Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais, Yakoub Salhi, On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing in Proceedings of the Autonomous Agents and Multiagent Systems (AAMAS'15),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 Annual ACM Symposium on Applied Computing,ACM Press, pp. 1874-1879, 2015.
2014 Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure, A Qualitative Spatio-Temporal Framework Based on Point Algebra in Artificial Intelligence: Methodology, Systems, and Applications - 16th International Conference (AIMSA 2014),pp. 117-128, 2014.
2014 Souhila Kaci, Yakoub Salhi, A Constructive Argumentation Framework in AAAI Conference on Artificial Intelligence,pp. 1070-1076, 2014.
2013 Yakoub Salhi, Said Jabbour, Lakhdar Saïs, Graded Modal Logic {GS5} and Itemset Support Satisfiability in Information Search, Integration and Personalization (ISIP'13),Springer, pp. 131-140, 2013.
2013 Said 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.
2012 Said Jabbour, Lakhdar Saïs, Yakoub Salhi, Karim Tabia, Symmetries in Itemset Mining in 20th European Conference on Artificial Intelligence (ECAI '12),pp. 432-437, 2012.
2012 Emmanuel Coquery, Said 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),pp. 258-263, 2012.
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.
Book chapters
2017 Abdelhamid Boudane, Said Jabbour, Lakhdar Sais, Yakoub Salhi, Clustering Complex Data Represented as propositional formulas in Advances in Knowledge Discovery and Data Mining,vol. 10235, pp. 441-452, Springer International Publishing, 2017.
2017 Abdelhamid Boudane, Said Jabbour, Lakhdar Sais, Yakoub Salhi, Enumerating Non-Redundant Association Rules Using Satisfiability in Advances in Knowledge Discovery and Data Mining. 21st Pacific-Asia Conference, PAKDD 2017, Jeju, South Korea, May 23-26, 2017, Proceedings, Part I,vol. 10234, pp. 824-836, Springer International Publishing, 2017.
2015 Belaïd Benhamou, Said Jabbour, Lakhdar Sais, Yakoub Salhi, A general and declarative method for symmetry breaking in itemset mining in Knowledge Discovery, Knowledge Engineering and Knowledge Management: 6th International Joint Conference, IC3K 2014, Rome, Italy, October 21-24, 2014, Revised Selected Papers,vol. IC3K 2014 - Revised Selected Best Papers, pp. 143-160, 2015, 2015.
Technical reports
2013 Said Jabbour, Lakhdar Saïs, Yakoub Salhi, A Mining-Based Compression Approach for Constraint Satisfaction Problems 2013.
Former PhD students
- Yazid Boumarafi : From graph theory to propositional satisfiability: a new approach for the characterization of tractable classes defended on : 2019-12-13
- Abdelhamid Boudane : Constraints-based Data Mining defended on : 2018-09-13
-
Old Project
- ANR DAG (in french) 2009-2013