Export 15 results:
Search results for biblio_year:2010
Filters: 1 is biblio_year:0 and 2 is field_publication_state:17 and 3 is biblio_year:2004 and 4 is biblio_type:Proceedings, non-refereed and 5 is biblio_year:2021 and Author is Nadjib Lazaar  [Reset Search]
2022
G. Menguy, S. Bardin, N. Lazaar and A. Gotlieb. Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition In 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 22). IJCAI, 2022.
M. B. Belaid, N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker. GEQCA: Generic Qualitative Constraint Acquisition In Lernen. Wissen. Daten. Analysen. (LWDA) - KDML Track., 2022.
M. B. Belaid, N. Belmecheri, A. Gotlieb, N. Lazaar and H. Spieker. GEQCA: Generic Qualitative Constraint Acquisition In Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 36. AAAI, 2022.PDF icon 20282-article_text-24295-1-2-20220628.pdf (241.05 KB)
2019
C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar. Deploying Smart Program Understanding on a Large Code Base In 2019 IEEE International Conference On Artificial Intelligence Testing (AITest). IEEE, 2019.
M. Collet, A. Gotlieb, N. Lazaar and M. Mossige. Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories In 2019 IEEE International Conference On Artificial Intelligence Testing (AITest). San Francisco, CA, USA: IEEE, 2019.
2018
C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar. Discovering Program Topoi Through Clustering In Proceedings of the Thirty-Second IAAI/AAAI Conference on Innovative Applications of Artificial Intelligence. AAAI Press, 2018.