Yakoub Salhi

88 papers A* 11A 9B 10C 7Misc 12Journal 20Unranked 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
Evaluating Robustness of Reasoning Models on Parameterized Logical Problems.
CoRR
Naïm Es-Sebbani, Esteban Marquer, Yakoub Salhi, Zied Bouraoui
2026 — conf
Not All Countermodels Are Equal.
ICAART (4)
Daniel Crowley, Daniel Le Berre, Yakoub Salhi
2025 B conf
A Framework for Hybrid Set-Theoretic and Numerical Problem Solving.
ICTAI
Daniel Crowley, Daniel Le Berre, Olivier Roussel, Yakoub Salhi
2025 A* conf
A Game-Theoretic Perspective on Inconsistency Handling.
IJCAI
Yakoub Salhi
2025 A* conf
A Variable Occurrence-Centric Framework for Inconsistency Handling.
AAAI
Yakoub Salhi
2025 J jnl
Exploring inconsistency measurement in Disjunctive Temporal Problems.
Inf. Comput.
Jean-François Condotta, Yakoub Salhi
2025 — conf
On Extracting Legal Arguments.
JELIA (2)
Noah Collinet, Yakoub Salhi, Souhila Kaci
2024 C conf
A Framework for Assessing Inconsistency in Disjunctive Temporal Problems.
TIME
Jean-François Condotta, Yakoub Salhi
2024 J jnl
A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version).
CoRR
Yakoub Salhi
2024 — conf
Compact Solution Representation in Qualitative Constraint-Based Reasoning.
SUM
Yakoub Salhi, Michael Sioutis
2024 Misc conf
On Clustering in Qualitative Spatial and Temporal Reasoning.
FLAIRS
Abderrahmane Boukontar, Jean-François Condotta, Yakoub Salhi
2024 J jnl
On prime scenarios in qualitative spatial and temporal reasoning.
Inf. Comput.
Yakoub Salhi, Michael Sioutis
2023 C conf
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract).
TIME
Yakoub Salhi, Michael Sioutis
2023 A* conf
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning.
KR
Yakoub Salhi, Michael Sioutis
2023 A conf
A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning.
ECAI
Yakoub Salhi, Michael Sioutis
2023 C conf
Prime Scenarios in Qualitative Spatial and Temporal Reasoning.
TIME
Yakoub Salhi, Michael Sioutis
2022 Misc conf
Belief selection through argumentation.
SAC
Souhila Kaci, Yakoub Salhi
2022 B conf
Knowledge Discovery from Qualitative Spatial and Temporal Data.
ICTAI
Abderrahmane Boukontar, Jean-François Condotta, Yakoub Salhi
2021 A* conf
Inconsistency Measurement for Paraconsistent Inference.
IJCAI
Yakoub Salhi
2021 A* conf
Quantification of Resource Production Incompleteness.
AAAI
Yakoub Salhi
2020 A* conf
A Framework for Measuring Information Asymmetry.
AAAI
Yakoub Salhi
2020 A* conf
Inconsistency Measurement for Improving Logical Formula Clustering.
IJCAI
Yakoub Salhi
2020 B conf
On Reasoning about Access to Knowledge.
LPAR
Yakoub Salhi
2020 Misc conf
On satisfiability problem in modal logic S5.
SAC
Yakoub Salhi
2019 A conf
Entailment Functions and Reasoning Under Inconsistency.
AAMAS
Yakoub Salhi
2019 — conf
Measuring Inconsistency Through Subformula Forgetting.
SUM
Yakoub Salhi
2019 — book
ModéLisation et logique propositionnelle classique. (Modeling and Classical Propositional Logic).
Yakoub Salhi
2019 — conf
On Enumerating All the Minimal Models for Particular CNF Formula Classes.
ICAART (2)
Yakoub Salhi
2019 B conf
On Solving Exactly-One-SAT.
ICTAI
Yazid Boumarafi, Yakoub Salhi
2019 A conf
On an Argument-centric Persuasion Framework.
AAMAS
Yakoub Salhi
2019 C conf
Qualitative Reasoning and Data Mining.
TIME
Yakoub Salhi
2018 Misc conf
A Method for Generating all the Prime Implicants of Binary CNF Formulas.
ISAIM
Yakoub Salhi
2018 Misc conf
Approaches for Enumerating All the Essential Prime Implicants.
AIMSA
Yakoub Salhi
2018 J jnl
Revisiting the Learned Clauses Database Reduction Strategies.
Int. J. Artif. Intell. Tools
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi
2018 J jnl
SAT-Based Data Mining.
Int. J. Artif. Intell. Tools
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2018 Misc conf
Tractable Classes in Exactly-One-SAT.
AIMSA
Yazid Boumarafi, Yakoub Salhi
2018 J jnl
Tree-sequent calculi and decision procedures for intuitionistic modal logics.
J. Log. Comput.
Didier Galmiche, Yakoub Salhi
2017 — conf
Clustering Complex Data Represented as Propositional Formulas.
PAKDD (2)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2017 — conf
Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints.
ICAART (2)
Soukaina Hattad, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2017 — conf
Enumerating Non-redundant Association Rules Using Satisfiability.
PAKDD (1)
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2017 B conf
From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes.
LPAR
Yazid Boumarafi, Lakhdar Sais, Yakoub Salhi
2017 J jnl
Mining Top-k motifs with a SAT-based framework.
Artif. Intell.
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2017 J jnl
On an MCS-based inconsistency measure.
Int. J. Approx. Reason.
Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, Badran Raddaoui
2017 J jnl
Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning.
Knowl. Eng. Rev.
Michael Sioutis, Yakoub Salhi, Jean-François Condotta
2017 — conf
Une approche logique pour la fouille de règles d'association.
EGC
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2016 A* conf
A MIS Partition Based Framework for Measuring Inconsistency.
KR
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
2016 A* conf
A SAT-Based Approach for Mining Association Rules.
IJCAI
Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2016 B conf
Itemset Mining with Penalties.
ICTAI
Saïd Jabbour, Souhila Kaci, Lakhdar Sais, Yakoub Salhi
2016 A conf
On the Computation of Top-k Extensions in Abstract Argumentation Frameworks.
ECAI
Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
2016 J jnl
Optimization in temporal qualitative constraint networks.
Acta Informatica
Jean-François Condotta, Souhila Kaci, Yakoub Salhi
2016 A* conf
Quantifying Conflicts for Spatial and Temporal Information.
KR
Jean-François Condotta, Badran Raddaoui, Yakoub Salhi
2015 — conf
A Resolution Method for Modal Logic S5.
GCAI
Yakoub Salhi, Michael Sioutis
2015 Misc conf
A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks.
FLAIRS
Michael Sioutis, Yakoub Salhi, Jean-François Condotta
2015 — conf
Decomposition Based SAT Encodings for Itemset Mining Problems.
PAKDD (2)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2015 B conf
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method.
TABLEAUX
Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure
2015 B conf
Mining to Compress Table Constraints.
ICTAI
Saïd Jabbour, Stéphanie Roussel, Lakhdar Sais, Yakoub Salhi
2015 C conf
On Measuring Inconsistency Using Maximal Consistent Sets.
ECSQARU
Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha
2015 J jnl
On SAT Models Enumeration in Itemset Mining.
CoRR
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2015 A conf
On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing.
AAMAS
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
2015 Misc conf
On the use and effect of graph decomposition in qualitative spatial and temporal reasoning.
SAC
Michael Sioutis, Yakoub Salhi, Jean-François Condotta
2015 Misc conf
Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework.
AIAI
Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure, David A. Randell
2015 C conf
Parallel SAT based closed frequent itemsets enumeration.
AICCSA
Imen Ouled Dlala, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Boutheina Ben Yaghlane
2014 A* conf
A Constructive Argumentation Framework.
AAAI
Souhila Kaci, Yakoub Salhi
2014 — conf
A Generic and Declarative Method for Symmetry Breaking in Itemset Mining.
IC3K (Selected Papers)
Belaïd Benhamou, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2014 Misc conf
A Pigeon-Hole Based Encoding of Cardinality Constraints.
ISAIM
Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi
2014 Misc conf
A Qualitative Spatio-Temporal Framework Based on Point Algebra.
AIMSA
Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure
2014 B conf
Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form.
JELIA
Saïd Jabbour, João Marques-Silva, Lakhdar Sais, Yakoub Salhi
2014 Misc conf
Extending modern SAT solvers for models enumeration.
IRI
Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi
2014 J jnl
On the measure of conflicts: A MUS-Decomposition Based Framework.
CoRR
Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi
2014 J jnl
Revisiting the Learned Clauses Database Reduction Strategies.
CoRR
Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi
2014 — conf
Symmetry Breaking in Itemset Mining.
KDIR
Belaïd Benhamou, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2014 — conf
Symétries et Extraction de Motifs Ensemblistes.
EGC
Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia
2013 J jnl
A Mining-Based Compression Approach for Constraint Satisfaction Problems
CoRR
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2013 J jnl
A Pigeon-Hole Based Encoding of Cardinality Constraints.
Theory Pract. Log. Program.
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2013 A conf
Boolean satisfiability for sequence mining.
CIKM
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2013 J jnl
Mining to Compact CNF Propositional Formulae
CoRR
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2013 A conf
Mining-based compression approach of propositional formulae.
CIKM
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Takeaki Uno
2013 B conf
Symmetry-Based Pruning in Itemset Mining.
ICTAI
Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia
2013 — conf
The Top-k Frequent Closed Itemset Mining Using Top-k SAT Problem.
ECML/PKDD (3)
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi
2012 A conf
A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence.
ECAI
Emmanuel Coquery, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi
2012 — conf
Graded Modal Logic GS5 and Itemset Support Satisfiability.
ISIP
Yakoub Salhi, Saïd Jabbour, Lakhdar Sais
2012 A conf
Symmetries in Itemset Mining.
ECAI
Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Karim Tabia
2011 J jnl
Sequent calculi and decidability for intuitionistic hybrid logic.
Inf. Comput.
Didier Galmiche, Yakoub Salhi
2010 J jnl
A family of Gödel hybrid logics.
J. Appl. Log.
Didier Galmiche, Yakoub Salhi
2010 — conf
Label-Free Proof Systems for Intuitionistic Modal Logic IS5.
LPAR (Dakar)
Didier Galmiche, Yakoub Salhi
2010 J jnl
Label-free natural deduction systems for intuitionistic and classical modal logics.
J. Appl. Non Class. Logics
Didier Galmiche, Yakoub Salhi
2010 — —
Structures Multi-contextuelles et Logiques Modales Intuitionnistes et Hybrides. (Multi-contextual Structures and Intuitionistic and Hybrid modal logics).
Yakoub Salhi
2008 C conf
Labelled Calculi for Lukasiewicz Logics.
WoLLIC
Didier Galmiche, Yakoub Salhi