Nina Narodytska
AuthID: R-00H-MAD
1
TITLE: Constraint-Driven Explanations for Black Box ML Models
AUTHORS: Aditya A Shrotri; Nina Narodytska; Alexey Ignatiev; Kuldeep S Meel; Joao Marques Silva; Moshe Y Vardi;
PUBLISHED: 2022, SOURCE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
AUTHORS: Aditya A Shrotri; Nina Narodytska; Alexey Ignatiev; Kuldeep S Meel; Joao Marques Silva; Moshe Y Vardi;
PUBLISHED: 2022, SOURCE: Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, VOLUME: 36
INDEXED IN: 
Scopus
Scopus2
TITLE: From Contrastive to Abductive Explanations and Back Again
AUTHORS: Ignatiev, A; Narodytska, N; Asher, N; Marques Silva, J;
PUBLISHED: 2021, SOURCE: AIXIA 2020 - ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 12414
AUTHORS: Ignatiev, A; Narodytska, N; Asher, N; Marques Silva, J;
PUBLISHED: 2021, SOURCE: AIXIA 2020 - ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 12414
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
AUTHORS: Alexey Ignatiev; Joao Marques Silva; Nina Narodytska; Peter J Stuckey;
PUBLISHED: 2021, SOURCE: IJCAI International Joint Conference on Artificial Intelligence
INDEXED IN: Scopus
Scopus4
TITLE: Explaining naive bayes and other linear classifiers with polynomial time and delay
AUTHORS: Joao Marques Silva; Thomas Gerspacher; Martin C Cooper; Alexey Ignatiev; Nina Narodytska;
PUBLISHED: 2020, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 2020-December
AUTHORS: Joao Marques Silva; Thomas Gerspacher; Martin C Cooper; Alexey Ignatiev; Nina Narodytska;
PUBLISHED: 2020, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 2020-December
INDEXED IN: Scopus
Scopus5
TITLE: Synthesizing Cluster Management Code for Distributed Systems
AUTHORS: Lalith Suresh; Joao Loff; Nina Narodytska; Leonid Ryzhyk; Mooly Sagiv; Brian Oki;
PUBLISHED: 2019, SOURCE: Workshop on Hot Topics in Operating Systems (HotOS) in PROCEEDINGS OF THE WORKSHOP ON HOT TOPICS IN OPERATING SYSTEMS (HOTOS '19)
AUTHORS: Lalith Suresh; Joao Loff; Nina Narodytska; Leonid Ryzhyk; Mooly Sagiv; Brian Oki;
PUBLISHED: 2019, SOURCE: Workshop on Hot Topics in Operating Systems (HotOS) in PROCEEDINGS OF THE WORKSHOP ON HOT TOPICS IN OPERATING SYSTEMS (HOTOS '19)
INDEXED IN: Scopus 
WOS
Scopus WOS6
TITLE: Assessing Heuristic Machine Learning Explanations with Model Counting
AUTHORS: Narodytska, N; Shrotri, A; Meel, KS; Ignatiev, A; Marques Silva, J ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
AUTHORS: Narodytska, N; Shrotri, A; Meel, KS; Ignatiev, A; Marques Silva, J ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
7
TITLE: Abduction-Based Explanations for Machine Learning Models
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva ;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva ;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE
INDEXED IN: WOS
WOS8
TITLE: Abduction-based explanations for machine learning models
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019
INDEXED IN: Scopus
Scopus9
TITLE: On relating explanations and adversarial examples
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLISHED: 2019, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 32
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLISHED: 2019, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 32
INDEXED IN: Scopus
Scopus10
TITLE: Learning Optimal Decision Trees with SAT
AUTHORS: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva ;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
AUTHORS: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva ;
PUBLISHED: 2018, SOURCE: Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.
INDEXED IN: 
DBLP
DBLP