Yakoub Salhi

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 51

Top Venues

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Yakoub Salhi, Michael Sioutis
On prime scenarios in qualitative spatial and temporal reasoning. Inf. Comput. 300 (2024)
Abderrahmane Boukontar, Jean-François Condotta, Yakoub Salhi
On Clustering in Qualitative Spatial and Temporal Reasoning. FLAIRS (2024)
Yakoub Salhi, Michael Sioutis
A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning. ECAI (2023)
Yakoub Salhi, Michael Sioutis
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract). TIME (2023)
Yakoub Salhi, Michael Sioutis
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning. KR (2023)
Yakoub Salhi, Michael Sioutis
Prime Scenarios in Qualitative Spatial and Temporal Reasoning. TIME (2023)
Souhila Kaci, Yakoub Salhi
Belief selection through argumentation. SAC (2022)
Abderrahmane Boukontar, Jean-François Condotta, Yakoub Salhi
Knowledge Discovery from Qualitative Spatial and Temporal Data. ICTAI (2022)
Yakoub Salhi
Quantification of Resource Production Incompleteness. AAAI (2021)
Yakoub Salhi
Inconsistency Measurement for Paraconsistent Inference. IJCAI (2021)
Yakoub Salhi
A Framework for Measuring Information Asymmetry. AAAI (2020)
Yakoub Salhi
On satisfiability problem in modal logic S5. SAC (2020)
Yakoub Salhi
Inconsistency Measurement for Improving Logical Formula Clustering. IJCAI (2020)
Yakoub Salhi
On Reasoning about Access to Knowledge. LPAR (2020)
Yakoub Salhi
Qualitative Reasoning and Data Mining. TIME (2019)
Yazid Boumarafi, Yakoub Salhi
On Solving Exactly-One-SAT. ICTAI (2019)
Yakoub Salhi
Entailment Functions and Reasoning Under Inconsistency. AAMAS (2019)
Yakoub Salhi
Measuring Inconsistency Through Subformula Forgetting. SUM (2019)
Yakoub Salhi
On an Argument-centric Persuasion Framework. AAMAS (2019)
Yakoub Salhi
On Enumerating All the Minimal Models for Particular CNF Formula Classes. ICAART (2) (2019)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
SAT-Based Data Mining. Int. J. Artif. Intell. Tools 27 (1) (2018)
Yazid Boumarafi, Yakoub Salhi
Tractable Classes in Exactly-One-SAT. AIMSA (2018)
Yakoub Salhi
A Method for Generating all the Prime Implicants of Binary CNF Formulas. ISAIM (2018)
Yakoub Salhi
Approaches for Enumerating All the Essential Prime Implicants. AIMSA (2018)
Didier Galmiche, Yakoub Salhi
Tree-sequent calculi and decision procedures for intuitionistic modal logics. J. Log. Comput. 28 (5) (2018)
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi
Revisiting the Learned Clauses Database Reduction Strategies. Int. J. Artif. Intell. Tools 27 (8) (2018)
Yazid Boumarafi, Lakhdar Sais, Yakoub Salhi
From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes. LPAR (2017)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Enumerating Non-redundant Association Rules Using Satisfiability. PAKDD (1) (2017)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Une approche logique pour la fouille de règles d'association. EGC (2017)
Michael Sioutis, Yakoub Salhi, Jean-François Condotta
Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning. Knowl. Eng. Rev. 32 (2017)
Soukaina Hattad, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints. ICAART (2) (2017)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Mining Top-k motifs with a SAT-based framework. Artif. Intell. 244 (2017)
Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, Badran Raddaoui
On an MCS-based inconsistency measure. Int. J. Approx. Reason. 80 (2017)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Clustering Complex Data Represented as Propositional Formulas. PAKDD (2) (2017)
Jean-François Condotta, Souhila Kaci, Yakoub Salhi
Optimization in temporal qualitative constraint networks. Acta Informatica 53 (2) (2016)
Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. ECAI (2016)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
A SAT-Based Approach for Mining Association Rules. IJCAI (2016)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
A MIS Partition Based Framework for Measuring Inconsistency. KR (2016)
Jean-François Condotta, Badran Raddaoui, Yakoub Salhi
Quantifying Conflicts for Spatial and Temporal Information. KR (2016)
Saïd Jabbour, Souhila Kaci, Lakhdar Sais, Yakoub Salhi
Itemset Mining with Penalties. ICTAI (2016)
Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha
On Measuring Inconsistency Using Maximal Consistent Sets. ECSQARU (2015)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
On SAT Models Enumeration in Itemset Mining. CoRR (2015)
Imen Ouled Dlala, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Boutheina Ben Yaghlane
Parallel SAT based closed frequent itemsets enumeration. AICCSA (2015)
Saïd Jabbour, Stéphanie Roussel, Lakhdar Sais, Yakoub Salhi
Mining to Compress Table Constraints. ICTAI (2015)
Michael Sioutis, Yakoub Salhi, Jean-François Condotta
On the use and effect of graph decomposition in qualitative spatial and temporal reasoning. SAC (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. AIAI (2015)
Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. TABLEAUX (2015)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Decomposition Based SAT Encodings for Itemset Mining Problems. PAKDD (2) (2015)
Michael Sioutis, Yakoub Salhi, Jean-François Condotta
A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks. FLAIRS Conference (2015)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. AAMAS (2015)
Yakoub Salhi, Michael Sioutis
A Resolution Method for Modal Logic S5. GCAI (2015)
Belaïd Benhamou, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
A Generic and Declarative Method for Symmetry Breaking in Itemset Mining. IC3K (Selected Papers) (2014)
Saïd Jabbour, João Marques-Silva, Lakhdar Sais, Yakoub Salhi
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. JELIA (2014)
Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure
A Qualitative Spatio-Temporal Framework Based on Point Algebra. AIMSA (2014)
Souhila Kaci, Yakoub Salhi
A Constructive Argumentation Framework. AAAI (2014)
Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi
Revisiting the Learned Clauses Database Reduction Strategies. CoRR (2014)
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
On the measure of conflicts: A MUS-Decomposition Based Framework. CoRR (2014)
Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi
Extending modern SAT solvers for models enumeration. IRI (2014)
Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi
A Pigeon-Hole Based Encoding of Cardinality Constraints. ISAIM (2014)
Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia
Symétries et Extraction de Motifs Ensemblistes. EGC (2014)
Belaïd Benhamou, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Symmetry Breaking in Itemset Mining. KDIR (2014)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
A Pigeon-Hole Based Encoding of Cardinality Constraints. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Mining to Compact CNF Propositional Formulae CoRR (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
A Mining-Based Compression Approach for Constraint Satisfaction Problems CoRR (2013)
Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia
Symmetry-Based Pruning in Itemset Mining. ICTAI (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Takeaki Uno
Mining-based compression approach of propositional formulae. CIKM (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
Boolean satisfiability for sequence mining. CIKM (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
The Top-k Frequent Closed Itemset Mining Using Top-k SAT Problem. ECML/PKDD (3) (2013)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Karim Tabia
Symmetries in Itemset Mining. ECAI (2012)
Yakoub Salhi, Saïd Jabbour, Lakhdar Sais
Graded Modal Logic GS5 and Itemset Support Satisfiability. ISIP (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. ECAI (2012)
Didier Galmiche, Yakoub Salhi
Sequent calculi and decidability for intuitionistic hybrid logic. Inf. Comput. 209 (12) (2011)
Didier Galmiche, Yakoub Salhi
Label-free natural deduction systems for intuitionistic and classical modal logics. J. Appl. Non Class. Logics 20 (4) (2010)
Didier Galmiche, Yakoub Salhi
A family of Gödel hybrid logics. J. Appl. Log. 8 (4) (2010)
Didier Galmiche, Yakoub Salhi
Label-Free Proof Systems for Intuitionistic Modal Logic IS5. LPAR (Dakar) (2010)
Didier Galmiche, Yakoub Salhi
Labelled Calculi for Lukasiewicz Logics. WoLLIC (2008)

Yakoub Salhi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Yakoub Salhi