Nadjib Lazaar

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 36

Top Topics

Top Venues

Publications

Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
Query-driven Qualitative Constraint Acquisition. J. Artif. Intell. Res. 79 (2024)
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. CoRR (2024)
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. CoRR (2024)
Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
Corrigendum to "Learning constraints through partial queries" [Artificial Intelligence 319 (2023) 103896]. Artif. Intell. 328 (2024)
Helge Spieker, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar
Evaluating Human Trajectory Prediction with Metamorphic Testing. CoRR (2024)
Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
Active Disjunctive Constraint Acquisition. KR (2023)
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation. CoRR (2023)
Nassim Belmecheri, Noureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni
Boosting the Learning for Ranking Patterns. Algorithms 16 (5) (2023)
Nassim Belmecheri, Noureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni
Une méthode d'apprentissage par optimisation multicritère pour le rangement de motifs en fouille de données. EGC (2022)
Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
GEQCA: Generic Qualitative Constraint Acquisition. AAAI (2022)
Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition. IJCAI (2022)
Nassim Belmecheri, Noureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni
Boosting the Learning for Ranking Patterns. CoRR (2022)
Mohamed-Bachir Belaid, Nadjib Lazaar
Frequent Itemset Mining with Multiple Minimum Supports: a Constraint-based Approach. CoRR (2021)
Mohamed-Bachir Belaid, Nadjib Lazaar
Constraint Programming for Itemset Mining with Multiple Minimum Supports. ICTAI (2021)
Mohamed-Bachir Belaid, Arnaud Gotlieb, Nadjib Lazaar
Solve Optimization Problems with Unknown Constraint Networks. CoRR (2021)
Nadjib Lazaar
Parallel Constraint Acquisition. AAAI (2021)
Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
Partial Queries for Constraint Acquisition. CoRR (2020)
Christian Bessiere, Mohamed-Bachir Belaid, Nadjib Lazaar
Computational Complexity of Three Central Problems in Itemset Mining. CoRR (2020)
Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige
RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. CP (2020)
Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
Deploying Smart Program Understanding on a Large Code Base. AITest (2019)
Noureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar
A Multiple Fault Localization Approach Based on Multicriteria Analytical Hierarchy Process. AITest (2019)
Mohamed-Bachir Belaid, Christian Bessiere, Nadjib Lazaar
Constraint Programming for Association Rules. SDM (2019)
Mohamed-Bachir Belaid, Christian Bessiere, Nadjib Lazaar
Constraint Programming for Mining Borders of Frequent Itemsets. IJCAI (2019)
Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Morten Mossige
Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories. AITest (2019)
Hajar Ait Addi, Christian Bessiere, Redouane Ezzahir, Nadjib Lazaar
Time-Bounded Query Generator for Constraint Acquisition. CPAIOR (2018)
Christian Bessiere, Nadjib Lazaar, Mehdi Maamar
User's Constraints in Itemset Mining. CP (2018)
Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
Discovering Program Topoi Through Clustering. AAAI (2018)
Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
Discovering Program Topoi via Hierarchical Agglomerative Clustering. IEEE Trans. Reliab. 67 (3) (2018)
Christian Bessiere, Nadjib Lazaar, Yahia Lebbah, Mehdi Maamar
Users Constraints in Itemset Mining. CoRR (2018)
Christian Bessiere, Frédéric Koriche, Nadjib Lazaar, Barry O'Sullivan
Constraint acquisition. Artif. Intell. 244 (2017)
Noureddine Aribi, Mehdi Maamar, Nadjib Lazaar, Yahia Lebbah, Samir Loudni
Multiple Fault Localization Using Constraint Programming and Pattern Mining. ICTAI (2017)
Mehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia Lebbah
Fault localization using itemset mining under constraints. Autom. Softw. Eng. 24 (2) (2017)
Robin Arcangioli, Christian Bessiere, Nadjib Lazaar
Multiple Constraint Acquisition. IJCAI (2016)
Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessiere, Patrice Boizumault
A Global Constraint for Closed Frequent Pattern Mining. CP (2016)
Abderrazak Daoudi, Younes Mechqrane, Christian Bessiere, Nadjib Lazaar, El-Houssine Bouyakhf
Constraint Acquisition with Recommendation Queries. IJCAI (2016)
Mehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia Lebbah
A global constraint for closed itemset mining. CoRR (2016)
Noureddine Aribi, Souhila Kaci, Nadjib Lazaar
Towards an MDD-based Representation of Preferences. CPCR+ITWP@IJCAI (2015)
Robin Arcangioli, Nadjib Lazaar
Multiple Constraint Acquisition. CPCR+ITWP@IJCAI (2015)
Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, Christian Bessiere, El-Houssine Bouyakhf
Detecting Types of Variables for Generalization in Constraint Acquisition. ICTAI (2015)
Christian Bessiere, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, El-Houssine Bouyakhf
Boosting Constraint Acquisition via Generalization Queries. ECAI (2014)
Christian Bessiere, Remi Coletta, Nadjib Lazaar
Solve a Constraint Problem without Modeling It. ICTAI (2014)
Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
Constraint Acquisition via Partial Queries. IJCAI (2013)
Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
A CP framework for testing CP. Constraints An Int. J. 17 (2) (2012)
Arnaud Gotlieb, Tristan Denmat, Nadjib Lazaar
Constraint-based reachability Infinity (2012)
Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
A Framework for the Automatic Correction of Constraint Programs. ICST (2011)
Nadjib Lazaar
CPTEST: A Framework for the Automatic Fault Detection, Localization and Correction of Constraint Programs. ICST Workshops (2011)
Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
On Testing Constraint Programs CoRR (2010)
Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
On Testing Constraint Programs. CP (2010)
Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
Fault Localization in Constraint Programs. ICTAI (1) (2010)
Arnaud Gotlieb, Nadjib Lazaar, Yahia Lebbah
Towards Constraing-Based Local Search for Automatic Test Data Generation. ICST Workshops (2008)