Nina Narodytska
AuthID: R-00H-MAD
1
TÃTULO: Constraint-Driven Explanations for Black Box ML Models
AUTORES: Aditya A Shrotri; Nina Narodytska; Alexey Ignatiev; Kuldeep S Meel; Joao Marques Silva; Moshe Y Vardi;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
AUTORES: Aditya A Shrotri; Nina Narodytska; Alexey Ignatiev; Kuldeep S Meel; Joao Marques Silva; Moshe Y Vardi;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
INDEXADO EM: 
Scopus
Scopus2
TÃTULO: From Contrastive to Abductive Explanations and Back Again
AUTORES: Ignatiev, A; Narodytska, N; Asher, N; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: AIXIA 2020 - ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 12414
AUTORES: Ignatiev, A; Narodytska, N; Asher, N; Marques Silva, J;
PUBLICAÇÃO: 2021, FONTE: AIXIA 2020 - ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 12414
3
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: Explaining naive bayes and other linear classifiers with polynomial time and delay
AUTORES: Joao Marques Silva; Thomas Gerspacher; Martin C Cooper; Alexey Ignatiev; Nina Narodytska;
PUBLICAÇÃO: 2020, FONTE: Advances in Neural Information Processing Systems, VOLUME: 2020-December
AUTORES: Joao Marques Silva; Thomas Gerspacher; Martin C Cooper; Alexey Ignatiev; Nina Narodytska;
PUBLICAÇÃO: 2020, FONTE: Advances in Neural Information Processing Systems, VOLUME: 2020-December
INDEXADO EM: Scopus
Scopus5
TÃTULO: Synthesizing Cluster Management Code for Distributed Systems
AUTORES: Lalith Suresh; Joao Loff; Nina Narodytska; Leonid Ryzhyk; Mooly Sagiv; Brian Oki;
PUBLICAÇÃO: 2019, FONTE: Workshop on Hot Topics in Operating Systems (HotOS) in PROCEEDINGS OF THE WORKSHOP ON HOT TOPICS IN OPERATING SYSTEMS (HOTOS '19)
AUTORES: Lalith Suresh; Joao Loff; Nina Narodytska; Leonid Ryzhyk; Mooly Sagiv; Brian Oki;
PUBLICAÇÃO: 2019, FONTE: Workshop on Hot Topics in Operating Systems (HotOS) in PROCEEDINGS OF THE WORKSHOP ON HOT TOPICS IN OPERATING SYSTEMS (HOTOS '19)
INDEXADO EM: Scopus 
WOS
Scopus WOS6
TÃTULO: Assessing Heuristic Machine Learning Explanations with Model Counting
AUTORES: Narodytska, N; Shrotri, A; Meel, KS; Ignatiev, A; Marques Silva, J ;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
AUTORES: Narodytska, N; Shrotri, A; Meel, KS; Ignatiev, A; Marques Silva, J ;
PUBLICAÇÃO: 2019, FONTE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
7
TÃTULO: On relating explanations and adversarial examples
AUTORES: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLICAÇÃO: 2019, FONTE: Advances in Neural Information Processing Systems, VOLUME: 32
AUTORES: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLICAÇÃO: 2019, FONTE: Advances in Neural Information Processing Systems, VOLUME: 32
INDEXADO EM: Scopus
Scopus8
TÃTULO: Learning Optimal Decision Trees with SAT
AUTORES: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva ;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
AUTORES: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva ;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
INDEXADO EM: 
DBLP
DBLP