Export 2 results:
Search results for biblio_type:Proceedings, refereed
Filters: Author is Grégoire Menguy  [Reset Search]
2023
G. Menguy, S. Bardin, N. Lazaar and A. Gotlieb. Active Disjunctive Constraint Acquisition In Knowledge Representation (KR), Research Track, Rhodes, Greece, September 2-8., 2023.
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.