×

zbMATH — the first resource for mathematics

Salhi, Yakoub

Compute Distance To:
Author ID: salhi.yakoub Recent zbMATH articles by "Salhi, Yakoub"
Published as: Salhi, Y.; Salhi, Yakoub
Documents Indexed: 18 Publications since 1988

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 31 times in 26 Documents Cited by Year
On measuring inconsistency using maximal consistent sets. Zbl 06507022
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
5
2014
On an MCS-based inconsistency measure. Zbl 1400.68211
Ammoura, Meriem; Salhi, Yakoub; Oukacha, Brahim; Raddaoui, Badran
3
2017
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
Symmetries in itemset mining. Zbl 1327.68194
Jabbour, Said; Sais, Lakhdar; Salhi, Yakoub; Tabia, Karim
2
2012
Label-free natural deduction systems for intuitionistic and classical modal logics. Zbl 1242.03033
Galmiche, Didier; Salhi, Yakoub
2
2010
Labelled calculi for Łukasiewicz logics. Zbl 1156.03024
Galmiche, D.; Salhi, Y.
2
2008
Tree-sequent calculi and decision procedures for intuitionistic modal logics. Zbl 1444.03053
Galmiche, Didier; Salhi, Yakoub
1
2018
Optimization in temporal qualitative constraint networks. Zbl 1336.68244
Condotta, Jean-François; Kaci, Souhila; Salhi, Yakoub
1
2016
A family of Gödel hybrid logics. Zbl 1215.03045
Galmiche, Didier; Salhi, Yakoub
1
2010
Label-free proof systems for intuitionistic modal logic IS5. Zbl 1253.03042
Galmiche, Didier; Salhi, Yakoub
1
2010
Tree-sequent calculi and decision procedures for intuitionistic modal logics. Zbl 1444.03053
Galmiche, Didier; Salhi, Yakoub
1
2018
On an MCS-based inconsistency measure. Zbl 1400.68211
Ammoura, Meriem; Salhi, Yakoub; Oukacha, Brahim; Raddaoui, Badran
3
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 06507022
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
5
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
2
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
2
2010
A family of Gödel hybrid logics. Zbl 1215.03045
Galmiche, Didier; Salhi, Yakoub
1
2010
Label-free proof systems for intuitionistic modal logic IS5. Zbl 1253.03042
Galmiche, Didier; Salhi, Yakoub
1
2010
Labelled calculi for Łukasiewicz logics. Zbl 1156.03024
Galmiche, D.; Salhi, Y.
2
2008

Citations by Year