Jabbour, Said; Sais, Lakhdar; Salhi, Yakoub Mining top-\(k\) motifs with a SAT-based framework. (English) Zbl 1404.68143 Artif. Intell. 244, 30-47 (2017). MSC: 68T20 68P15 68T05 PDFBibTeX XMLCite \textit{S. Jabbour} et al., Artif. Intell. 244, 30--47 (2017; Zbl 1404.68143) Full Text: DOI
Jabbour, Said; Raddaoui, Badran; Sais, Lakhdar; Salhi, Yakoub On the computation of Top-\(k\) extensions in abstract argumentation frameworks. (English) Zbl 1403.68269 Kaminka, Gal A. (ed.) et al., ECAI 2016. 22nd European conference on artificial intelligence, The Hague, Netherlands, August 29 – September 2, 2016. Proceedings. Including proceedings of the accompanied conference on prestigious applications of intelligent systems (PAIS 2016). In 2 volumes. Amsterdam: IOS Press (ISBN 978-1-61499-671-2/pbk; 978-1-61499-672-9/ebook). Frontiers in Artificial Intelligence and Applications 285, 913-920 (2016). MSC: 68T27 PDFBibTeX XMLCite \textit{S. Jabbour} et al., Front. Artif. Intell. Appl. 285, 913--920 (2016; Zbl 1403.68269) Full Text: DOI
Jabbour, Said; Marques-Silva, Joao; Sais, Lakhdar; Salhi, Yakoub Enumerating prime implicants of propositional formulae in conjunctive normal form. (English) Zbl 1432.68327 Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 152-165 (2014). MSC: 68R05 03B05 94C11 PDFBibTeX XMLCite \textit{S. Jabbour} et al., Lect. Notes Comput. Sci. 8761, 152--165 (2014; Zbl 1432.68327) Full Text: DOI
Jabbour, Said; Sais, Lakhdar; Salhi, Yakoub; Tabia, Karim Symmetries in itemset mining. (English) Zbl 1327.68194 De Raedt, Luc (ed.) et al., ECAI 2012. 20th European conference on artificial intelligence, Montpellier, France, August 27–31, 2012. Proceedings. Including proceedings of the 7th conference on prestigious applications of artificial intelligence (PAIS-2012) and the system demonstrations track. Amsterdam: IOS Press (ISBN 978-1-61499-097-0/pbk; 978-1-61499-098-7/ebook). Frontiers in Artificial Intelligence and Applications 242, 432-437 (2012). MSC: 68T05 PDFBibTeX XMLCite \textit{S. Jabbour} et al., Front. Artif. Intell. Appl. 242, 432--437 (2012; Zbl 1327.68194) Full Text: Link
Coquery, Emmanuel; Jabbour, Said; Sais, Lakhdar; Salhi, Yakoub A SAT-based approach for discovering frequent, closed and maximal patterns in a sequence. (English) Zbl 1327.68213 De Raedt, Luc (ed.) et al., ECAI 2012. 20th European conference on artificial intelligence, Montpellier, France, August 27–31, 2012. Proceedings. Including proceedings of the 7th conference on prestigious applications of artificial intelligence (PAIS-2012) and the system demonstrations track. Amsterdam: IOS Press (ISBN 978-1-61499-097-0/pbk; 978-1-61499-098-7/ebook). Frontiers in Artificial Intelligence and Applications 242, 258-263 (2012). MSC: 68T20 PDFBibTeX XMLCite \textit{E. Coquery} et al., Front. Artif. Intell. Appl. 242, 258--263 (2012; Zbl 1327.68213) Full Text: Link