Grégoire Menguy
External collaborator
Publications
Simula-affiliated publications listed
2023
Proceedings, refereed
Read Active Disjunctive Constraint Acquisition
G. Menguy, S. Bardin, N. Lazaar and A. Gotlieb
Active Disjunctive Constraint Acquisition
Knowledge Representation (KR), Research Track, Rhodes, Greece, September 2-8
Read Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
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
2022
Proceedings, refereed
Read Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition
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)