AuthorsG. Menguy, S. Bardin, N. Lazaar and A. Gotlieb
TitleActive Disjunctive Constraint Acquisition
AfilliationSoftware Engineering
Project(s)Department of Validation Intelligence for Autonomous Software Systems
StatusAccepted
Publication TypeProceedings, refereed
Year of Publication2023
Conference NameKnowledge Representation (KR), Research Track, Rhodes, Greece, September 2-8
Citation Key43261

Contact person