Peter J. Stuckey
AuthID: R-00F-B8G
1
TÃTULO: Using MaxSAT for Efficient Explanations of Tree Ensembles
AUTORES: Alexey Ignatiev; Yacine Izza; Peter J Stuckey; Joao Marques Silva;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
AUTORES: Alexey Ignatiev; Yacine Izza; Peter J Stuckey; Joao Marques Silva;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
INDEXADO EM: 
Scopus
Scopus2
TÃTULO: Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings
AUTORES: Peter J Stuckey;
PUBLICAÇÃO: 2021, FONTE: CPAIOR, VOLUME: 12735
AUTORES: Peter J Stuckey;
PUBLICAÇÃO: 2021, FONTE: CPAIOR, VOLUME: 12735
INDEXADO EM: 
DBLP
DBLP3
TÃTULO: Reasoning-Based Learning of Interpretable ML Models
AUTORES: Alexey Ignatiev; Joao Marques Silva; Nina Narodytska; Peter J Stuckey;
PUBLICAÇÃO: 2021, FONTE: IJCAI International Joint Conference on Artificial Intelligence
AUTORES: Alexey Ignatiev; Joao Marques Silva; Nina Narodytska; Peter J Stuckey;
PUBLICAÇÃO: 2021, FONTE: IJCAI International Joint Conference on Artificial Intelligence
INDEXADO EM: Scopus
Scopus4
TÃTULO: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings
AUTORES: John W Lloyd; Verónica Dahl; Ulrich Furbach; Manfred Kerber; Kung Kiu Lau; Catuscia Palamidessi; Luís Moniz Pereira ; Yehoshua Sagiv; Peter J Stuckey;
PUBLICAÇÃO: 2000, FONTE: CL, VOLUME: 1861
AUTORES: John W Lloyd; Verónica Dahl; Ulrich Furbach; Manfred Kerber; Kung Kiu Lau; Catuscia Palamidessi; Luís Moniz Pereira ; Yehoshua Sagiv; Peter J Stuckey;
PUBLICAÇÃO: 2000, FONTE: CL, VOLUME: 1861
INDEXADO EM: DBLP
DBLP