×
Compute Distance To:
Author ID: salhi.yakoub Recent zbMATH articles by "Salhi, Yakoub"
Published as: Salhi, Yakoub; Salhi, Y.
Documents Indexed: 18 Publications since 1988
Co-Authors: 14 Co-Authors with 16 Joint Publications
164 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 34 times in 27 Documents Cited by Year
On measuring inconsistency using maximal consistent sets. Zbl 1465.68246
Ammoura, Meriem; Raddaoui, Badran; Salhi, Yakoub; Oukacha, Brahim
7
2015
Enumerating prime implicants of propositional formulae in conjunctive normal form. Zbl 1432.68327
Jabbour, Said; Marques-Silva, Joao; Sais, Lakhdar; Salhi, Yakoub
6
2014
Label-free natural deduction systems for intuitionistic and classical modal logics. Zbl 1242.03033
Galmiche, Didier; Salhi, Yakoub
3
2010
A SAT-based approach for discovering frequent, closed and maximal patterns in a sequence. Zbl 1327.68213
Coquery, Emmanuel; Jabbour, Said; Sais, Lakhdar; Salhi, Yakoub
3
2012
Sequent calculi and decidability for intuitionistic hybrid logic. Zbl 1243.03028
Galmiche, Didier; Salhi, Yakoub
3
2011
On an MCS-based inconsistency measure. Zbl 1400.68211
Ammoura, Meriem; Salhi, Yakoub; Oukacha, Brahim; Raddaoui, Badran
3
2017
Tree-sequent calculi and decision procedures for intuitionistic modal logics. Zbl 1444.03053
Galmiche, Didier; Salhi, Yakoub
2
2018
Labelled calculi for Łukasiewicz logics. Zbl 1156.03024
Galmiche, D.; Salhi, Y.
2
2008
Optimization in temporal qualitative constraint networks. Zbl 1336.68244
Condotta, Jean-François; Kaci, Souhila; Salhi, Yakoub
1
2016
Label-free proof systems for intuitionistic modal logic IS5. Zbl 1253.03042
Galmiche, Didier; Salhi, Yakoub
1
2010
A family of Gödel hybrid logics. Zbl 1215.03045
Galmiche, Didier; Salhi, Yakoub
1
2010
Symmetries in itemset mining. Zbl 1327.68194
Jabbour, Said; Sais, Lakhdar; Salhi, Yakoub; Tabia, Karim
1
2012
Mining top-\(k\) motifs with a SAT-based framework. Zbl 1404.68143
Jabbour, Said; Sais, Lakhdar; Salhi, Yakoub
1
2017
Tree-sequent calculi and decision procedures for intuitionistic modal logics. Zbl 1444.03053
Galmiche, Didier; Salhi, Yakoub
2
2018
On an MCS-based inconsistency measure. Zbl 1400.68211
Ammoura, Meriem; Salhi, Yakoub; Oukacha, Brahim; Raddaoui, Badran
3
2017
Mining top-\(k\) motifs with a SAT-based framework. Zbl 1404.68143
Jabbour, Said; Sais, Lakhdar; Salhi, Yakoub
1
2017
Optimization in temporal qualitative constraint networks. Zbl 1336.68244
Condotta, Jean-François; Kaci, Souhila; Salhi, Yakoub
1
2016
On measuring inconsistency using maximal consistent sets. Zbl 1465.68246
Ammoura, Meriem; Raddaoui, Badran; Salhi, Yakoub; Oukacha, Brahim
7
2015
Enumerating prime implicants of propositional formulae in conjunctive normal form. Zbl 1432.68327
Jabbour, Said; Marques-Silva, Joao; Sais, Lakhdar; Salhi, Yakoub
6
2014
A SAT-based approach for discovering frequent, closed and maximal patterns in a sequence. Zbl 1327.68213
Coquery, Emmanuel; Jabbour, Said; Sais, Lakhdar; Salhi, Yakoub
3
2012
Symmetries in itemset mining. Zbl 1327.68194
Jabbour, Said; Sais, Lakhdar; Salhi, Yakoub; Tabia, Karim
1
2012
Sequent calculi and decidability for intuitionistic hybrid logic. Zbl 1243.03028
Galmiche, Didier; Salhi, Yakoub
3
2011
Label-free natural deduction systems for intuitionistic and classical modal logics. Zbl 1242.03033
Galmiche, Didier; Salhi, Yakoub
3
2010
Label-free proof systems for intuitionistic modal logic IS5. Zbl 1253.03042
Galmiche, Didier; Salhi, Yakoub
1
2010
A family of Gödel hybrid logics. Zbl 1215.03045
Galmiche, Didier; Salhi, Yakoub
1
2010
Labelled calculi for Łukasiewicz logics. Zbl 1156.03024
Galmiche, D.; Salhi, Y.
2
2008

Citations by Year