Sledovat
Alexey Ignatiev
Název
Citace
Citace
Rok
PySAT: A Python toolkit for prototyping with SAT oracles
A Ignatiev, A Morgado, J Marques-Silva
Theory and Applications of Satisfiability Testing–SAT 2018: 21st …, 2018
1882018
Abduction-based explanations for machine learning models
A Ignatiev, N Narodytska, J Marques-Silva
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 1511-1519, 2019
1462019
Learning Optimal Decision Trees with SAT.
N Narodytska, A Ignatiev, F Pereira, J Marques-Silva, I Ras
Ijcai, 1362-1368, 2018
1112018
On relating explanations and adversarial examples
A Ignatiev, N Narodytska, J Marques-Silva
Advances in neural information processing systems 32, 2019
912019
RC2: an efficient MaxSAT solver
A Ignatiev, A Morgado, J Marques-Silva
Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 53-64, 2019
892019
Smallest MUS extraction with minimal hitting set dualization
A Ignatiev, A Previti, M Liffiton, J Marques-Silva
Principles and Practice of Constraint Programming: 21st International …, 2015
802015
Towards Trustable Explainable AI.
A Ignatiev
IJCAI, 5154-5158, 2020
682020
A SAT-based approach to learn explainable decision sets
A Ignatiev, F Pereira, N Narodytska, J Marques-Silva
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
522018
Efficient Model Based Diagnosis with Maximum Satisfiability
J Marques-Silva, M Janota, A Ignatiev, A Morgado
24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 0
52*
On explaining decision trees
Y Izza, A Ignatiev, J Marques-Silva
arXiv preprint arXiv:2010.11034, 2020
512020
Assessing heuristic machine learning explanations with model counting
N Narodytska, A Shrotri, KS Meel, A Ignatiev, J Marques-Silva
Theory and Applications of Satisfiability Testing–SAT 2019: 22nd …, 2019
512019
MSCG: Robust core-guided MaxSAT solving
A Morgado, A Ignatiev, J Marques-Silva
Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 129-134, 2014
512014
Explaining naive bayes and other linear classifiers with polynomial time and delay
J Marques-Silva, T Gerspacher, M Cooper, A Ignatiev, N Narodytska
Advances in Neural Information Processing Systems 33, 20590-20600, 2020
402020
On cryptographic attacks using backdoors for SAT
A Semenov, O Zaikin, I Otpuschennikov, S Kochemazov, A Ignatiev
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
402018
On tackling the limits of resolution in SAT solving
A Ignatiev, A Morgado, J Marques-Silva
Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017
392017
Prime compilation of non-clausal formulae
A Previti, A Ignatiev, A Morgado, J Marques-Silva
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
392015
MaxSAT resolution with the dual rail encoding
ML Bonet, S Buss, A Ignatiev, J Marques-Silva, A Morgado
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
352018
BEACON: an efficient SAT-based tool for debugging ontologies
MF Arif, C Mencía, A Ignatiev, N Manthey, R Peñaloza, J Marques-Silva
Theory and Applications of Satisfiability Testing–SAT 2016: 19th …, 2016
352016
Quantified maximum satisfiability
A Ignatiev, M Janota, J Marques-Silva
Constraints 21, 277-302, 2016
34*2016
From contrastive to abductive explanations and back again
A Ignatiev, N Narodytska, N Asher, J Marques-Silva
AIxIA 2020–Advances in Artificial Intelligence: XIXth International …, 2021
322021
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20