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

Marques-Silva, Joao

  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. Logic-Based Explainability in Machine Learning
    2022/10/24 by João Marques‐Silva, Marques-Silva, Joao · 13 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification
  3. SMT-Based Bounded Model Checking for Embedded ANSI-C Software
    2009/07/12 by Cordeiro, Lucas, Fischer, Bernd, Marques-Silva, Joao · 3 citations
    #FOS: Computer and information sciences #Software Engineering (cs.SE)
  4. 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)
  5. Explainability is NOT a Game
    2023/06/27 by João Marques‐Silva, Xuanxiang Huang, Marques-Silva, Joao +1 · 8 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification
  6. 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
  7. Eliminating The Impossible, Whatever Remains Must Be True
    2022/06/20 by Jinqiang Yu, Yu, Jinqiang, Alexey Ignatiev +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
  8. On Explaining Random Forests with SAT
    2021/05/21 by Yacine Izza, João Marques‐Silva, Izza, Yacine +1 · 4 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification
  9. 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)
  10. On Efficiently Explaining Graph-Based Classifiers
    2021/06/02 by Xuanxiang Huang, Yacine Izza, Huang, Xuanxiang +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)
  11. Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
    2024/05/14 by Yacine Izza, Izza, Yacine, Xuanxiang Huang +9 · 6 citations
    Decision Sciences · Computer Science · #Scientific Computing and Data Management #Semantic Web and Ontologies
  12. 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)
  13. 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)
  14. Feature Necessity & Relevancy in ML Classifier Explanations
    2022/10/27 by Xuanxiang Huang, Huang, Xuanxiang, Martin Cooper +7 · 3 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Data Stream Mining Techniques #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification
  15. Counterexample Guided Abstraction Refinement Algorithm for Propositional\n Circumscription
    2010/06/30 by Mikoláš Janota, João Marques‐Silva, Janota, Mikoláš +3 · 1 citation
    Computer Science · #Formal Methods in Verification #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
  16. Propositional Abduction with Implicit Hitting Sets
    2016/04/27 by Alexey Ignatiev, António Morgado, Ignatiev, Alexey +3 · 1 citation
    Computer Science · #Logic, Reasoning, and Knowledge #Formal Methods in Verification #Constraint Satisfaction and Optimization
  17. Algorithms for Weighted Boolean Optimization
    2009/03/04 by Vasco Manquinho, João Marques‐Silva, Manquinho, Vasco +3 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms
  18. Locally-Minimal Probabilistic Explanations
    2023/12/19 by Yacine Izza, Izza, Yacine, Kuldeep S. Meel +3 · 3 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Data Classification
  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. 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)
  21. 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)
  22. 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
  23. 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
  24. 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
  25. From Robustness to Explainability and Back Again
    2023/06/05 by Xuanxiang Huang, João Marques‐Silva, Huang, Xuanxiang +1 · 1 citation
    Computer Science · Decision Sciences · #Artificial Intelligence (cs.AI) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning and Algorithms #Scientific Computing and Data Management
  26. The Inadequacy of Shapley Values for Explainability
    2023/02/16 by Xuanxiang Huang, João Marques‐Silva, Huang, Xuanxiang +1 · 1 citation
    Computer Science · #Explainable Artificial Intelligence (XAI) #Adversarial Robustness in Machine Learning #Machine Learning and Data Classification
  27. From SHAP Scores to Feature Importance Scores
    2024/05/20 by Olivier Létoffé, Xuanxiang Huang, Letoffe, Olivier +5 · 2 citations
    Computer Science · #Artificial Intelligence (cs.AI) #Big Data and Digital Economy #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Imbalanced Data Classification Techniques #Machine Learning (cs.LG)
  28. SHAP scores fail pervasively even when Lipschitz succeeds
    2024/12/18 by Olivier Létoffé, Letoffe, Olivier, Xuanxiang Huang +3 · 1 citation
    Biochemistry, Genetics and Molecular Biology · #Genomics and Rare Diseases