vix.ing · top · new · best · stats · spec

Ignatiev, Alexey

  1. Abduction-Based Explanations for Machine Learning Models
    2018/11/26 by Ignatiev, Alexey, Narodytska, Nina, Marques-Silva, Joao · 23 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
  2. Explanations for Monotonic Classifiers
    2021/06/01 by Marques-Silva, Joao, Gerspacher, Thomas, Cooper, Martin +2 · 5 citations
    #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  3. On Relating 'Why?' and 'Why Not?' Explanations
    2020/12/21 by Alexey Ignatiev, Ignatiev, Alexey, Nina Narodytska +5 · 4 citations
    Computer Science · Social Sciences · #Artificial Intelligence (cs.AI) #Ethics and Social Impacts of AI #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
  4. Eliminating The Impossible, Whatever Remains Must Be True
    2022/06/20 by Jinqiang Yu, Alexey Ignatiev, Yu, Jinqiang +7 · 5 citations
    Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Data Classification #Scientific Computing and Data Management
  5. On Explaining Decision Trees
    2020/10/21 by Izza, Yacine, Ignatiev, Alexey, Marques-Silva, Joao · 3 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  6. On Efficiently Explaining Graph-Based Classifiers
    2021/06/02 by Xuanxiang Huang, Huang, Xuanxiang, Yacine Izza +5 · 6 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Generative Adversarial Networks and Image Synthesis #Machine Learning (cs.LG)
  7. Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
    2024/05/14 by Yacine Izza, Xuanxiang Huang, Izza, Yacine +9 · 6 citations
    Decision Sciences · Computer Science · #Scientific Computing and Data Management #Semantic Web and Ontologies
  8. Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay
    2020/08/13 by Marques-Silva, Joao, Gerspacher, Thomas, Cooper, Martin C. +2 · 3 citations
    #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
  9. A Scalable Two Stage Approach to Computing Optimal Decision Sets
    2021/02/03 by Ignatiev, Alexey, Lam, Edward, Stuckey, Peter J. +1 · 2 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
  10. Anytime Approximate Formal Feature Attribution
    2023/12/12 by Yu, Jinqiang, Farr, Graham, Ignatiev, Alexey +1 · 3 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
  11. Propositional Abduction with Implicit Hitting Sets
    2016/04/27 by Alexey Ignatiev, Ignatiev, Alexey, António Morgado +3 · 1 citation
    Computer Science · #Logic, Reasoning, and Knowledge #Formal Methods in Verification #Constraint Satisfaction and Optimization
  12. On Cryptographic Attacks Using Backdoors for SAT
    2018/03/13 by Alexander Semenov, Oleg Zaikin, Semenov, Alexander +7 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning and Algorithms
  13. On Validating, Repairing and Refining Heuristic ML Explanations
    2019/07/04 by Ignatiev, Alexey, Narodytska, Nina, Marques-Silva, Joao · 1 citation
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
  14. Computing Optimal Decision Sets with SAT
    2020/07/29 by Jinqiang Yu, Alexey Ignatiev, Yu, Jinqiang +5 · 1 citation
    Computer Science · #Explainable Artificial Intelligence (XAI) #Machine Learning and Data Classification #Bayesian Modeling and Causal Inference
  15. SAT-Based Rigorous Explanations for Decision Lists
    2021/05/14 by Ignatiev, Alexey, Marques-Silva, Joao · 3 citations
    #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)
  16. Efficient Explanations With Relevant Sets
    2021/06/01 by Yacine Izza, Alexey Ignatiev, Izza, Yacine +7 · 1 citation
    Computer Science · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification
  17. Efficient Explanations for Knowledge Compilation Languages
    2021/07/04 by Xuanxiang Huang, Huang, Xuanxiang, Yacine Izza +9 · 1 citation
    Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Constraint Satisfaction and Optimization #FOS: Computer and information sciences
  18. Provably Precise, Succinct and Efficient Explanations for Decision Trees
    2022/05/19 by Yacine Izza, Izza, Yacine, Alexey Ignatiev +7 · 1 citation
    Computer Science · #Explainable Artificial Intelligence (XAI) #Adversarial Robustness in Machine Learning #Imbalanced Data Classification Techniques
  19. On Computing Probabilistic Abductive Explanations
    2022/12/12 by Yacine Izza, Xuanxiang Huang, Izza, Yacine +9 · 3 citations
    Computer Science · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG)
  20. NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions
    2024/09/16 by Zhixi Cai, Cai, Zhixi, Cardenas, Cristian Rojas +29 · 2 citations
    Computer Science · #Cognitive Computing and Networks #AI-based Problem Solving and Planning
  21. On Formal Feature Attribution and Its Approximation
    2023/07/07 by Jinqiang Yu, Alexey Ignatiev, Yu, Jinqiang +3 · 1 citation
    Computer Science · #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #Rough Sets and Fuzzy Logic
  22. Formal Explanations for Neuro-Symbolic AI
    2024/10/18 by Sushmita Paul, Paul, Sushmita, Jinqiang Yu +7 · 1 citation
    Computer Science · #Computability, Logic, AI Algorithms