The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Saïd Jabbour" ( http://dblp.L3S.de/Authors/Saïd_Jabbour )

  Author page on DBLP  Author page in RDF  Community of Saïd Jabbour in ASPL-2

Publication years (Num. hits)
2007-2012 (22) 2013-2014 (24) 2015-2016 (21) 2017-2018 (20) 2019 (5)
Publication types (Num. hits)
article(22) incollection(1) inproceedings(69)
Venues (Conferences, Journals, ...)
ICTAI(9) CoRR(8) ECAI(6) International Journal on Artif...(4) CP(3) EGC(3) ICAART (2)(3) IJCAI(3) PAKDD (2)(3) SAT(3) AAMAS(2) AICCSA(2) BigData(2) CIKM(2) JSAT(2) Revue d'Intelligence Artificie...(2) More (+10 of total 51)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 93 publication records. Showing 92 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jerry Lonlac, Saïd Jabbour, Engelbert Mephu Nguifo, Lakhdar Saïs, Badran Raddaoui Extracting Frequent Gradual Patterns Using Constraints Modeling. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui Handling Disagreement in Ontologies-Based Reasoning via Argumentation. Search on Bibsonomy WISE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs Mining Gradual Itemsets Using Sequential Pattern Mining. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais Représentations compactes des graphes et contraintes pseudo booléennes. Search on Bibsonomy EGC The full citation details ... 2019 DBLP  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui Towards a Prudent Argumentation Framework for Reasoning with Imperfect Ontologies. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
1Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi Revisiting the Learned Clauses Database Reduction Strategies. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi SAT-Based Data Mining. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais Efficient Encodings of Conditional Cardinality Constraints. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Abdelhamid Boudane, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais Efficient SAT-Based Encodings of Conditional Cardinality Constraints. Search on Bibsonomy LPAR The full citation details ... 2018 DBLP  BibTeX  RDF
1Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais Pushing the Envelope in Overlapping Communities Detection. Search on Bibsonomy IDA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais Detecting Highly Overlapping Community Structure by Model-based Maximal Clique Expansion. Search on Bibsonomy BigData The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais A Parallel SAT-Based Framework for Closed Frequent Itemsets Mining. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais On Maximal Frequent Itemsets Mining with Constraints. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais Triangle-Driven Community Detection in Large Graphs Using Propositional Satisfiability. Search on Bibsonomy AINA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais Quantifying conflicts in propositional logic through prime implicates. Search on Bibsonomy Int. J. Approx. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Lakhdar Sais, Yakoub Salhi Mining Top-k motifs with a SAT-based framework. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Fatima Zahra Mana, Lakhdar Sais On Maximal Frequent Itemsets Enumeration. Search on Bibsonomy SoCPaR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi Une approche logique pour la fouille de règles d'association. Search on Bibsonomy EGC The full citation details ... 2017 DBLP  BibTeX  RDF
1Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais Finding Overlapping Communities in Networks Using Propositional Satisfiability. Search on Bibsonomy EDA The full citation details ... 2017 DBLP  BibTeX  RDF
1Soukaina Hattad, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi Enhancing Pigeon-Hole based Encoding of Boolean Cardinality Constraints. Search on Bibsonomy ICAART (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi Clustering Complex Data Represented as Propositional Formulas. Search on Bibsonomy PAKDD (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi Enumerating Non-redundant Association Rules Using Satisfiability. Search on Bibsonomy PAKDD (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Nizar Mhadhbi, Badran Raddaoui, Lakhdar Sais A SAT-Based Framework for Overlapping Community Detection in Networks. Search on Bibsonomy PAKDD (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abderrahim Ait Wakrime, Saïd Jabbour Formal Approach for QoS-Aware Cloud Service Composition. Search on Bibsonomy WETICE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amel Bouzeghoub, Saïd Jabbour, Yue Ma, Badran Raddaoui Handling conflicts in uncertain ontologies using deductive argumentation. Search on Bibsonomy WI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Youssef Hamadi, Saïd Jabbour, Lakhdar Saïs What we can learn from conflicts in propositional satisfiability. Search on Bibsonomy Annals OR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour On Inconsistency Measuring and Resolving. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi On the Computation of Top-k Extensions in Abstract Argumentation Frameworks. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Lakhdar Sais Exploiting MUS Structure to Measure Inconsistency of Knowledge Bases. Search on Bibsonomy ECAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Imen Ouled Dlala, Saïd Jabbour, Lakhdar Saïs, Boutheina Ben Yaghlane A Comparative Study of SAT-Based Itemsets Mining. Search on Bibsonomy SGAI Conf. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Badran Raddaoui, Lakhdar Sais Knowledge Base Compilation for Inconsistency Measures. Search on Bibsonomy ICAART (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Nizar Mhadhbi, Abdesattar Mhadhbi, Badran Raddaoui, Lakhdar Sais Summarizing big graphs by means of pseudo-boolean constraints. Search on Bibsonomy BigData The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Souhila Kaci, Lakhdar Sais, Yakoub Salhi Itemset Mining with Penalties. Search on Bibsonomy ICTAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Imen Ouled Dlala, Saïd Jabbour, Badran Raddaoui, Lakhdar Sais, Boutheina Ben Yaghlane A SAT-Based Approach for Enumerating Interesting Patterns from Uncertain Data. Search on Bibsonomy ICTAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi A MIS Partition Based Framework for Measuring Inconsistency. Search on Bibsonomy KR The full citation details ... 2016 DBLP  BibTeX  RDF
1Abderrahim Ait Wakrime, Saïd Jabbour On repairing queries in cloud computing. Search on Bibsonomy AICCSA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Abdelhamid Boudane, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi A SAT-Based Approach for Mining Association Rules. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Saïd Jabbour, Lakhdar Sais, Yakoub Salhi On SAT Models Enumeration in Itemset Mining. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Abderrahim Ait Wakrime, Saïd Jabbour On QoS web service composition using satisfiability. Search on Bibsonomy ICTA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Abderrahim Ait Wakrime, Salima Benbernou, Saïd Jabbour Relaxation Based SaaS for Repairing Failed Queries over the Cloud Computing. Search on Bibsonomy ICEBE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Abderrahim Ait Wakrime, Saïd Jabbour Minimum Unsatisfiability based QoS Web Service Composition over the Cloud Computing. Search on Bibsonomy ISDA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Badran Raddaoui, Lakhdar Sais Inconsistency-based Ranking of Knowledge Bases. Search on Bibsonomy ICAART (2) The full citation details ... 2015 DBLP  BibTeX  RDF
1Saïd Jabbour, Stéphanie Roussel 0001, Lakhdar Sais, Yakoub Salhi Mining to Compress Table Constraints. Search on Bibsonomy ICTAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Lakhdar Sais, Yakoub Salhi Decomposition Based SAT Encodings for Itemset Mining Problems. Search on Bibsonomy PAKDD (2) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Imen Ouled Dlala, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Boutheina Ben Yaghlane Parallel SAT based closed frequent itemsets enumeration. Search on Bibsonomy AICCSA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing. Search on Bibsonomy AAMAS The full citation details ... 2015 DBLP  BibTeX  RDF
1Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Clémentin Tayou Djamégni Résolution étendue par substitution dynamique des fonctions booléennes. Search on Bibsonomy Revue d'Intelligence Artificielle The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais, Yakoub Salhi On the measure of conflicts: A MUS-Decomposition Based Framework. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi Revisiting the Learned Clauses Database Reduction Strategies. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette An Effective Distributed D&C Approach for the Satisfiability Problem. Search on Bibsonomy PDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia Symétries et Extraction de Motifs Ensemblistes. Search on Bibsonomy EGC The full citation details ... 2014 DBLP  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais Prime Implicates Based Inconsistency Characterization. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Cédric Piette Dolius: A Distributed Parallel SAT Solving Framework. Search on Bibsonomy POS@SAT The full citation details ... 2014 DBLP  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui, Lakhdar Sais On the Characterization of Inconsistency: A Prime Implicates Based Framework. Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Long Guo, Saïd Jabbour, Jerry Lonlac, Lakhdar Sais Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving. Search on Bibsonomy ICTAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi Extending modern SAT solvers for models enumeration. Search on Bibsonomy IRI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, João Marques-Silva, Lakhdar Sais, Yakoub Salhi Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Belaïd Benhamou, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi A Generic and Declarative Method for Symmetry Breaking in Itemset Mining. Search on Bibsonomy IC3K (Selected Papers) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Belaïd Benhamou, Saïd Jabbour, Lakhdar Sais, Yakoub Salhi Symmetry Breaking in Itemset Mining. Search on Bibsonomy KDIR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi A Pigeon-Hole Based Encoding of Cardinality Constraints. Search on Bibsonomy ISAIM The full citation details ... 2014 DBLP  BibTeX  RDF
1Saïd Jabbour, Yue Ma, Badran Raddaoui Inconsistency measurement thanks to mus decomposition. Search on Bibsonomy AAMAS The full citation details ... 2014 DBLP  BibTeX  RDF
1Saïd Jabbour, Lakhdar Sais, Yakoub Salhi A Mining-Based Compression Approach for Constraint Satisfaction Problems Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Saïd Jabbour, Lakhdar Sais, Yakoub Salhi Mining to Compact CNF Propositional Formulae Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Saïd Jabbour, Lakhdar Sais, Yakoub Salhi A Pigeon-Hole Based Encoding of Cardinality Constraints. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Saïd Jabbour, Lakhdar Sais, Yakoub Salhi The Top-k Frequent Closed Itemset Mining Using Top-k SAT Problem. Search on Bibsonomy ECML/PKDD (3) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Lakhdar Sais, Yakoub Salhi Boolean satisfiability for sequence mining. Search on Bibsonomy CIKM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Takeaki Uno Mining-based compression approach of propositional formulae. Search on Bibsonomy CIKM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Badran Raddaoui Measuring Inconsistency through Minimal Proofs. Search on Bibsonomy ECSQARU The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Mehdi Khiari, Lakhdar Sais, Yakoub Salhi, Karim Tabia Symmetry-Based Pruning in Itemset Mining. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers. Search on Bibsonomy SARA The full citation details ... 2013 DBLP  BibTeX  RDF
1Saïd Jabbour, Lakhdar Sais Symétries et QBF. Search on Bibsonomy Revue d'Intelligence Artificielle The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Youssef Hamadi, Saïd Jabbour, Lakhdar Sais Learning from conflicts in propositional satisfiability. Search on Bibsonomy 4OR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Youssef Hamadi, Saïd Jabbour, Lakhdar Sais Control-Based Clause Sharing in Parallel SAT Solving. Search on Bibsonomy Autonomous Search The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yakoub Salhi, Saïd Jabbour, Lakhdar Sais Graded Modal Logic GS5 and Itemset Support Satisfiability. Search on Bibsonomy ISIP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Lakhdar Sais, Yakoub Salhi, Karim Tabia Symmetries in Itemset Mining. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Emmanuel Coquery, Saïd Jabbour, Lakhdar Saïs, Yakoub Salhi A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs Intensification Search in Modern SAT Solvers - (Poster Presentation). Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Benoît Hoessen, Saïd Jabbour, Jean-Marie Lagniez, Cédric Piette Revisiting Clause Exchange in Parallel SAT Solving. Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour, Jerry Lonlac, Lakhdar Sais Extending Resolution by Dynamic Substitution of Boolean Functions. Search on Bibsonomy ICTAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Youssef Hamadi, Saïd Jabbour, Cédric Piette, Lakhdar Sais Deterministic Parallel DPLL. Search on Bibsonomy JSAT The full citation details ... 2011 DBLP  BibTeX  RDF
1Emmanuel Coquery, Saïd Jabbour, Lakhdar Sais A Constraint Programming Approach for Enumerating Motifs in a Sequence. Search on Bibsonomy ICDM Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour Learning from successes. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Youssef Hamadi, Saïd Jabbour, Lakhdar Sais Learning for Dynamic Subsumption. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Long Guo, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais Diversification and Intensification in Parallel SAT Solving. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Youssef Hamadi, Saïd Jabbour, Lakhdar Sais ManySAT: a Parallel SAT Solver. Search on Bibsonomy JSAT The full citation details ... 2009 DBLP  BibTeX  RDF
1Youssef Hamadi, Saïd Jabbour, Lakhdar Sais Learning for Dynamic subsumption Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Youssef Hamadi, Saïd Jabbour, Lakhdar Sais Learning for Dynamic Subsumption. Search on Bibsonomy ICTAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Saïd Jabbour Learning for Dynamic Assignments Reordering. Search on Bibsonomy ICTAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Youssef Hamadi, Saïd Jabbour, Lakhdar Sais Control-Based Clause Sharing in Parallel SAT Solving. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Gilles Audemard, Saïd Jabbour, Lakhdar Sais SAT graph-based representation: A new perspective. Search on Bibsonomy J. Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Lucas Bordeaux, Youssef Hamadi, Saïd Jabbour, Lakhdar Sais A Generalized Framework for Conflict Analysis. Search on Bibsonomy SAT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gilles Audemard, Saïd Jabbour, Lakhdar Sais Symmetry Breaking in Quantified Boolean Formulae. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
Displaying result #1 - #92 of 92 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license