Nadjib Lazaar

According to our database, Nadjib Lazaar authored at least 49 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Corrigendum to "Learning constraints through partial queries" [Artificial Intelligence 319 (2023) 103896].

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

Artif. Intell., March, 2024

Query-driven Qualitative Constraint Acquisition.

Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker

J. Artif. Intell. Res., 2024

Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations.

Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker

CoRR, 2024

Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations.

Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker

CoRR, 2024

2023

Learning constraints through partial queries.

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

Artif. Intell., June, 2023

Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation.

Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker

CoRR, 2023

Boosting the Learning for Ranking Patterns.

Nassim Belmecheri, Noureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni

Algorithms, 2023

Active Disjunctive Constraint Acquisition.

Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022

Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition.

Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Une méthode d'apprentissage par optimisation multicritère pour le rangement de motifs en fouille de données.

Nassim Belmecheri, Noureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni

Proceedings of the Extraction et Gestion des Connaissances, 2022

GEQCA: Generic Qualitative Constraint Acquisition.

Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Solve Optimization Problems with Unknown Constraint Networks.

Mohamed-Bachir Belaid, Arnaud Gotlieb, Nadjib Lazaar

CoRR, 2021

Frequent Itemset Mining with Multiple Minimum Supports: a Constraint-based Approach.

Mohamed-Bachir Belaid, Nadjib Lazaar

CoRR, 2021

Constraint Programming for Itemset Mining with Multiple Minimum Supports.

Mohamed-Bachir Belaid, Nadjib Lazaar

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Parallel Constraint Acquisition.

Nadjib Lazaar

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Computational Complexity of Three Central Problems in Itemset Mining.

Christian Bessiere, Mohamed-Bachir Belaid, Nadjib Lazaar

CoRR, 2020

Partial Queries for Constraint Acquisition.

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

CoRR, 2020

RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots.

Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Constraint Programming for Association Rules.

Mohamed-Bachir Belaid, Christian Bessiere, Nadjib Lazaar

Proceedings of the 2019 SIAM International Conference on Data Mining, 2019

Constraint Programming for Mining Borders of Frequent Itemsets.

Mohamed-Bachir Belaid, Christian Bessiere, Nadjib Lazaar

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Deploying Smart Program Understanding on a Large Code Base.

Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories.

Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Morten Mossige

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

A Multiple Fault Localization Approach Based on Multicriteria Analytical Hierarchy Process.

Noureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018

Discovering Program Topoi via Hierarchical Agglomerative Clustering.

Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar

IEEE Trans. Reliab., 2018

Users Constraints in Itemset Mining.

Christian Bessiere, Nadjib Lazaar, Yahia Lebbah, Mehdi Maamar

CoRR, 2018

Time-Bounded Query Generator for Constraint Acquisition.

Hajar Ait Addi, Christian Bessiere, Redouane Ezzahir, Nadjib Lazaar

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

User's Constraints in Itemset Mining.

Christian Bessiere, Nadjib Lazaar, Mehdi Maamar

Proceedings of the Principles and Practice of Constraint Programming, 2018

Discovering Program Topoi Through Clustering.

Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Fault localization using itemset mining under constraints.

Mehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia Lebbah

Autom. Softw. Eng., 2017

Constraint acquisition.

Christian Bessiere, Frédéric Koriche, Nadjib Lazaar, Barry O'Sullivan

Artif. Intell., 2017

Multiple Fault Localization Using Constraint Programming and Pattern Mining.

Noureddine Aribi, Mehdi Maamar, Nadjib Lazaar, Yahia Lebbah, Samir Loudni

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2016

New Approaches to Constraint Acquisition.

Christian Bessiere, Abderrazak Daoudi, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Younes Mechqrane, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

Proceedings of the Data Mining and Constraint Programming, 2016

A global constraint for closed itemset mining.

Mehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia Lebbah

CoRR, 2016

Constraint Acquisition with Recommendation Queries.

Abderrazak Daoudi, Younes Mechqrane, Christian Bessiere, Nadjib Lazaar, El-Houssine Bouyakhf

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Multiple Constraint Acquisition.

Robin Arcangioli, Christian Bessiere, Nadjib Lazaar

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Global Constraint for Closed Frequent Pattern Mining.

Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessiere, Patrice Boizumault

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Towards an MDD-based Representation of Preferences.

Noureddine Aribi, Souhila Kaci, Nadjib Lazaar

Proceedings of the IJCAI 2015 Joint Workshop on Constraints and Preferences for Configuration and Recommendation and Intelligent Techniques for Web Personalization co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Multiple Constraint Acquisition.

Robin Arcangioli, Nadjib Lazaar

Proceedings of the IJCAI 2015 Joint Workshop on Constraints and Preferences for Configuration and Recommendation and Intelligent Techniques for Web Personalization co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015

Detecting Types of Variables for Generalization in Constraint Acquisition.

Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, Christian Bessiere, El-Houssine Bouyakhf

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

2014

Solve a Constraint Problem without Modeling It.

Christian Bessiere, Remi Coletta, Nadjib Lazaar

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Boosting Constraint Acquisition via Generalization Queries.

Christian Bessiere, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, El-Houssine Bouyakhf

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Constraint Acquisition via Partial Queries.

Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh

Proceedings of the IJCAI 2013, 2013

2012

Constraint-based reachability

Arnaud Gotlieb, Tristan Denmat, Nadjib Lazaar

Proceedings of the Proceedings 14th International Workshop on Verification of Infinite-State Systems, 2012

A CP framework for testing CP.

Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah

Constraints An Int. J., 2012

2011

A Framework for the Automatic Correction of Constraint Programs.

Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

CPTEST: A Framework for the Automatic Fault Detection, Localization and Correction of Constraint Programs.

Nadjib Lazaar

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Fault Localization in Constraint Programs.

Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

On Testing Constraint Programs.

Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2008

Towards Constraing-Based Local Search for Automatic Test Data Generation.

Arnaud Gotlieb, Nadjib Lazaar, Yahia Lebbah

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008