António Morgado
- 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
- Feature Necessity & Relevancy in ML Classifier Explanations
2022/10/27 by Xuanxiang Huang, Martin Cooper, Huang, Xuanxiang +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
- 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