![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Nadjib Lazaar
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]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: 104075 (2024) - [j7]Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker:
Query-driven Qualitative Constraint Acquisition. J. Artif. Intell. Res. 79: 241-271 (2024) - [i12]Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker:
Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. CoRR abs/2403.09668 (2024) - [i11]Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker:
Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. CoRR abs/2403.16908 (2024) - [i10]Helge Spieker, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar:
Evaluating Human Trajectory Prediction with Metamorphic Testing. CoRR abs/2407.18756 (2024) - 2023
- [j6]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:
Learning constraints through partial queries. Artif. Intell. 319: 103896 (2023) - [j5]Nassim Belmecheri
, Noureddine Aribi
, Nadjib Lazaar
, Yahia Lebbah
, Samir Loudni
:
Boosting the Learning for Ranking Patterns. Algorithms 16(5): 218 (2023) - [c31]Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb:
Active Disjunctive Constraint Acquisition. KR 2023: 512-520 - [i9]Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker:
Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation. CoRR abs/2308.12755 (2023) - 2022
- [c30]Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
:
GEQCA: Generic Qualitative Constraint Acquisition. AAAI 2022: 3690-3697 - [c29]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: 289-296 - [c28]Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb:
Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition. IJCAI 2022: 1873-1879 - [i8]Nassim Belmecheri, Noureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni:
Boosting the Learning for Ranking Patterns. CoRR abs/2203.02696 (2022) - 2021
- [c27]Nadjib Lazaar
:
Parallel Constraint Acquisition. AAAI 2021: 3860-3867 - [c26]Mohamed-Bachir Belaid, Nadjib Lazaar:
Constraint Programming for Itemset Mining with Multiple Minimum Supports. ICTAI 2021: 598-603 - [i7]Mohamed-Bachir Belaid, Nadjib Lazaar:
Frequent Itemset Mining with Multiple Minimum Supports: a Constraint-based Approach. CoRR abs/2109.07844 (2021) - [i6]Mohamed-Bachir Belaid, Arnaud Gotlieb, Nadjib Lazaar:
Solve Optimization Problems with Unknown Constraint Networks. CoRR abs/2111.11871 (2021) - 2020
- [c25]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: 707-723 - [i5]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 abs/2003.06649 (2020) - [i4]Christian Bessiere, Mohamed-Bachir Belaid, Nadjib Lazaar:
Computational Complexity of Three Central Problems in Itemset Mining. CoRR abs/2012.02619 (2020)
2010 – 2019
- 2019
- [c24]Noureddine Aribi
, Nadjib Lazaar
, Yahia Lebbah, Samir Loudni, Mehdi Maamar:
A Multiple Fault Localization Approach Based on Multicriteria Analytical Hierarchy Process. AITest 2019: 1-8 - [c23]Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
:
Deploying Smart Program Understanding on a Large Code Base. AITest 2019: 73-80 - [c22]Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar
, Morten Mossige:
Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories. AITest 2019: 121-128 - [c21]Mohamed-Bachir Belaid, Christian Bessiere, Nadjib Lazaar:
Constraint Programming for Mining Borders of Frequent Itemsets. IJCAI 2019: 1064-1070 - [c20]Mohamed-Bachir Belaid, Christian Bessiere, Nadjib Lazaar
:
Constraint Programming for Association Rules. SDM 2019: 127-135 - 2018
- [j4]Carlo Ieva
, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
:
Discovering Program Topoi via Hierarchical Agglomerative Clustering. IEEE Trans. Reliab. 67(3): 758-770 (2018) - [c19]Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar:
Discovering Program Topoi Through Clustering. AAAI 2018: 7771-7778 - [c18]Christian Bessiere, Nadjib Lazaar
, Mehdi Maamar:
User's Constraints in Itemset Mining. CP 2018: 537-553 - [c17]Hajar Ait Addi, Christian Bessiere, Redouane Ezzahir, Nadjib Lazaar
:
Time-Bounded Query Generator for Constraint Acquisition. CPAIOR 2018: 1-17 - [i3]Christian Bessiere, Nadjib Lazaar
, Yahia Lebbah, Mehdi Maamar:
Users Constraints in Itemset Mining. CoRR abs/1801.00345 (2018) - 2017
- [j3]Christian Bessiere, Frédéric Koriche, Nadjib Lazaar
, Barry O'Sullivan
:
Constraint acquisition. Artif. Intell. 244: 315-342 (2017) - [j2]Mehdi Maamar, Nadjib Lazaar
, Samir Loudni, Yahia Lebbah
:
Fault localization using itemset mining under constraints. Autom. Softw. Eng. 24(2): 341-368 (2017) - [c16]Noureddine Aribi
, Mehdi Maamar, Nadjib Lazaar
, Yahia Lebbah, Samir Loudni:
Multiple Fault Localization Using Constraint Programming and Pattern Mining. ICTAI 2017: 860-867 - 2016
- [c15]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: 333-349 - [c14]Robin Arcangioli, Christian Bessiere, Nadjib Lazaar:
Multiple Constraint Acquisition. IJCAI 2016: 698-704 - [c13]Abderrazak Daoudi, Younes Mechqrane, Christian Bessiere, Nadjib Lazaar, El-Houssine Bouyakhf:
Constraint Acquisition with Recommendation Queries. IJCAI 2016: 720-726 - [p1]Christian Bessiere, Abderrazak Daoudi, Emmanuel Hebrard
, George Katsirelos, Nadjib Lazaar
, Younes Mechqrane, Nina Narodytska, Claude-Guy Quimper
, Toby Walsh:
New Approaches to Constraint Acquisition. Data Mining and Constraint Programming 2016: 51-76 - [i2]Mehdi Maamar, Nadjib Lazaar
, Samir Loudni, Yahia Lebbah:
A global constraint for closed itemset mining. CoRR abs/1604.04894 (2016) - 2015
- [c12]Abderrazak Daoudi, Nadjib Lazaar
, Younes Mechqrane, Christian Bessiere, El-Houssine Bouyakhf:
Detecting Types of Variables for Generalization in Constraint Acquisition. ICTAI 2015: 413-420 - [c11]Robin Arcangioli, Nadjib Lazaar:
Multiple Constraint Acquisition. CPCR+ITWP@IJCAI 2015 - [c10]Noureddine Aribi, Souhila Kaci, Nadjib Lazaar:
Towards an MDD-based Representation of Preferences. CPCR+ITWP@IJCAI 2015 - 2014
- [c9]Christian Bessiere, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar
, Younes Mechqrane, El-Houssine Bouyakhf:
Boosting Constraint Acquisition via Generalization Queries. ECAI 2014: 99-104 - [c8]Christian Bessiere, Remi Coletta, Nadjib Lazaar
:
Solve a Constraint Problem without Modeling It. ICTAI 2014: 1-7 - 2013
- [c7]Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh:
Constraint Acquisition via Partial Queries. IJCAI 2013: 475-481 - 2012
- [j1]Nadjib Lazaar
, Arnaud Gotlieb, Yahia Lebbah
:
A CP framework for testing CP. Constraints An Int. J. 17(2): 123-147 (2012) - [c6]Arnaud Gotlieb, Tristan Denmat, Nadjib Lazaar:
Constraint-based reachability. Infinity 2012: 25-43 - 2011
- [c5]Nadjib Lazaar
, Arnaud Gotlieb, Yahia Lebbah
:
A Framework for the Automatic Correction of Constraint Programs. ICST 2011: 319-326 - [c4]Nadjib Lazaar
:
CPTEST: A Framework for the Automatic Fault Detection, Localization and Correction of Constraint Programs. ICST Workshops 2011: 320-321 - 2010
- [c3]Nadjib Lazaar
, Arnaud Gotlieb, Yahia Lebbah
:
On Testing Constraint Programs. CP 2010: 330-344 - [c2]Nadjib Lazaar
, Arnaud Gotlieb, Yahia Lebbah
:
Fault Localization in Constraint Programs. ICTAI (1) 2010: 61-67 - [i1]Nadjib Lazaar
, Arnaud Gotlieb, Yahia Lebbah:
On Testing Constraint Programs. CoRR abs/1005.2882 (2010)
2000 – 2009
- 2008
- [c1]Arnaud Gotlieb, Nadjib Lazaar
, Yahia Lebbah
:
Towards Constraing-Based Local Search for Automatic Test Data Generation. ICST Workshops 2008: 195
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-25 19:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint