1
TITLE: Using MaxSAT for Efficient Explanations of Tree Ensembles
AUTHORS: Alexey Ignatiev; Yacine Izza; Peter J Stuckey; Joao Marques Silva;
PUBLISHED: 2022, SOURCE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
INDEXED IN: Scopus
3
TITLE: Reasoning-Based Learning of Interpretable ML Models
AUTHORS: Alexey Ignatiev; Joao Marques Silva; Nina Narodytska; Peter J Stuckey;
PUBLISHED: 2021, SOURCE: IJCAI International Joint Conference on Artificial Intelligence
INDEXED IN: Scopus
4
TITLE: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings
AUTHORS: John W Lloyd; Verónica Dahl; Ulrich Furbach; Manfred Kerber; Kung Kiu Lau; Catuscia Palamidessi; Luís Moniz Pereira ; Yehoshua Sagiv; Peter J Stuckey;
PUBLISHED: 2000, SOURCE: CL, VOLUME: 1861
INDEXED IN: DBLP