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
Software
Publications
International journals
2018 Knowledge Didier Galmiche, Yakoub Salhi, Tree-sequent calculi and decision procedures for intuitionistic modal logics in Journal of Logic and Computation,vol. 28, n° 5, pp. 967-989, 2018.
2018 Constraints Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi, Revisiting the Learned Clauses Database Reduction Strategies in International Journal on Artificial Intelligence Tools,vol. 27, n° 08, pp. 1850033, 2018.
2018 Data Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, SAT-Based Data Mining in International Journal on Artificial Intelligence Tools,vol. 27, n° 01, pp. 1840002, 2018.
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
2023 Knowledge Yakoub Salhi, Michael Sioutis, Prime Scenarios in Qualitative Spatial and Temporal Reasoning in 30th International Symposium on Temporal Representation and Reasoning (TIME 2023),Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 Knowledge Yakoub Salhi, Michael Sioutis, A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning in 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023),International Joint Conferences on Artificial Intelligence Organization, pp. 604-613, 2023.
2023 Knowledge Yakoub Salhi, Michael Sioutis, A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract) in TIME 2023 - 30th International Symposium on Temporal Representation and Reasoning,Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 278, pp. 16:1–16:3, 2023.
2023 Knowledge Yakoub Salhi, Michael Sioutis, A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning in 26th European Conference on Artificial Intelligence (ECAI 2023),IOS Press, 2023.
2022 Knowledge Souhila Kaci, Yakoub Salhi, Belief selection through argumentation in SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing,ACM, pp. 889-896, 2022.
2022 Knowledge Abderrahmane Boukontar, Jean-François Condotta, Yakoub Salhi, Knowledge Discovery from Qualitative Spatial and Temporal Data in 34th International Conference on Tools with Artificial Intelligence (ICTAI 2022),IEEE, pp. 451-458, 2022.
2021 Knowledge 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.
2021 Knowledge Yakoub Salhi, Quantification of Resource Production Incompleteness in Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21),vol. 35, pp. 6480-6487, 2021.
2020 Knowledge 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 Knowledge Yakoub Salhi, A Framework for Measuring Information Asymmetry in 34th AAAI Conference on Artificial Intelligence (AAAI'20),pp. 2983-2990, 2020.
2020 Knowledge Yakoub Salhi, Inconsistency Measurement for Improving Logical Formula Clustering in 29th International Joint Conference in Artificial Intelligence (IJCAI'20),pp. 1891-1897, 2020.
2020 Knowledge Yakoub Salhi, On satisfiability problem in modal logic S5 in 5th ACM/SIGAPP Symposium on Applied Computing (SAC'20),pp. 948-955, 2020.
2019 Knowledge Yakoub Salhi, Entailment Functions and Reasoning Under Inconsistency in 18th International Conference on Autonomous and MultiAgent Systems (AAMAS'19),2019.
2019 Knowledge Yakoub Salhi, On an Argument-centric Persuasion Framework in 18th International Conference on Autonomous and MultiAgent Systems (AAMAS'19),2019.
2019 Knowledge Yakoub Salhi, Qualitative Reasoning and Data Mining in International Symposium on Temporal Representation and Reasoning (TIME),Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019.
2019 Knowledge Yakoub Salhi, Measuring Inconsistency Through Subformula Forgetting in Scalable Uncertainty Management - 13th International Conference (SUM 2019),2019.
2019 Knowledge 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.
2019 Knowledge Yazid Boumarafi, Yakoub Salhi, On Solving Exactly-One-SAT in 31st IEEE International Conference on Tools with Artificial Intelligence (ICTAI'19),2019.
2018 Knowledge 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 Knowledge Yakoub Salhi, Approaches for Enumerating All the Essential Prime Implicants in Artificial Intelligence: Methodology, Systems, and Applications - 18th International Conference (AIMSA'18),2018.
2018 Knowledge Yazid Boumarafi, Yakoub Salhi, Tractable Classes in Exactly-One-SAT 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 Saïs, Yakoub Salhi, Itemset Mining with Penalties in ICTAI: International Conference on Tools with Artificial Intelligence,2017.
2016 Said 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),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 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 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 Yakoub Salhi, Michael Sioutis, A Resolution Method for Modal Logic S5 in GCAI 2015. Global Conference on Artificial Intelligence,pp. 252-240, 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.
2015 Said Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Saïs, 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, 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.
2014 Souhila Kaci, Yakoub Salhi, A Constructive Argumentation Framework in AAAI Conference on Artificial Intelligence,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 Artificial Intelligence: Methodology, Systems, and Applications - 16th International Conference (AIMSA 2014),pp. 117-128, 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 Saïs, 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 Saïs, 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 Saïs, 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
2024 Daniel Crowley, Daniel Le Berre, Olivier Roussel, Yakoub Salhi, On Finding Counter-Models: Approach Based on Instantiating Abstract Sets 2024.
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