Nadjib Lazaar
External collaborator
Publications
Simula-affiliated publications listed
2023
Journal Articles
N. Belmecheri, A. Noureddine, N. Lazaar, Y. Lebbah and S. Loudni
Boosting the Learning for Ranking Patterns
Algorithms
Proceedings, refereed
G. Menguy, S. Bardin, N. Lazaar and A. Gotlieb
Active Disjunctive Constraint Acquisition
Knowledge Representation (KR), Research Track, Rhodes, Greece, September 2-8
M. B. Belaid, N. Belmecheri, N. Lazaar, A. Gotlieb and H. Spieker
Approche générique pour l’acquisition de contraintes qualitatives
JFPC
G. Menguy, S. Bardin, A. Gotlieb and N. Lazaar
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
Knowledge Representation (KR), Research Track, Rhodes, Greece, September 2-8
C. Braye, J. Clech, A. Gotlieb, N. Lazaar and P. Malléa
Towards Trustworthy-AI-by-Design Methodology for Intelligent Radiology Systems
'Santé et IA séminaire' at PFIA 23, Strasbrourg, France. July 6
Technical reports
N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker
Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation
2022
Proceedings, refereed
G. Menguy, S. Bardin, N. Lazaar and A. Gotlieb
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 22)
M. B. Belaid, N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker
GEQCA: Generic Qualitative Constraint Acquisition
Proceedings of the AAAI Conference on Artificial Intelligence
Talks, contributed
M. B. Belaid, N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker
GEQCA: Generic Qualitative Constraint Acquisition
Lernen. Wissen. Daten. Analysen. (LWDA) - KDML Track
2021
Proceedings, refereed
M. B. Belaid and N. Lazaar
Constraint Programming for Itemset Mining with Multiple Minimum Supports
2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)
Proceedings, non-refereed
M. B. Belaid, A. Gotlieb and N. Lazaar
Solve Optimization Problems with Unknown Constraint Networks
PTHG workshop in CP
Technical reports
M. B. Belaid and N. Lazaar
Frequent Itemset Mining with Multiple Minimum Supports: a Constraint-based Approach
Talks, invited
M. B. Belaid and N. Lazaar
Constraint Programming for Itemset Mining with Multiple Minimum Supports
LIRMM, Montpellier, France
Talks, contributed
M. B. Belaid and N. Lazaar
Constraint Programming for Itemset Mining with Multiple Minimum Supports
IEEE International Conference on Tools with Artificial Intelligence (ICTAI)
M. B. Belaid, A. Gotlieb and N. Lazaar
Solve Optimization Problems with Unknown Constraint Networks
PTHG workshop in CP (online)
2020
Proceedings, refereed
M. Collet, A. Gotlieb, N. Lazaar, M. Carlsson, D. Marijan and M. Mossige
RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots
International Conference on Principles and Practice of Constraint Programming
Technical reports
C. Bessiere, M. B. Belaid and N. Lazaar
Computational Complexity of Three Central Problems in Itemset Mining
2019
Proceedings, refereed
C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar
Deploying Smart Program Understanding on a Large Code Base
2019 IEEE International Conference On Artificial Intelligence Testing (AITest)
M. Collet, A. Gotlieb, N. Lazaar and M. Mossige
Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories
2019 IEEE International Conference On Artificial Intelligence Testing (AITest)
2018
Proceedings, refereed
C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar
Discovering Program Topoi Through Clustering
Proceedings of the Thirty-Second IAAI/AAAI Conference on Innovative Applications of Artificial Intelligence
2012
Journal Articles
N. Lazaar, A. Gotlieb and Y. Lebbah
A CP Framework for Testing CP
Constraints