Marques-Silva, Joao

37 publications

IJCAI 2025 Efficient and Rigorous Model-Agnostic Explanations João Marques-Silva, Jairo A. Lefebre-Lobaina, Maria Vanina Martinez

IJCAI 2025 Most General Explanations of Tree Ensembles Yacine Izza, Alexey Ignatiev, Sasha Rubin, João Marques-Silva, Peter J. Stuckey

ECML-PKDD 2025 On Trustworthy Rule-Based Models and Explanations Mohamed Siala, Jordi Planes, João Marques-Silva

AAAI 2025 Towards Trustable SHAP Scores Olivier Létoffé, Xuanxiang Huang, João Marques-Silva

AAAI 2024 Delivering Inflated Explanations Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, João Marques-Silva

IJCAI 2024 Updates on the Complexity of SHAP Scores Xuanxiang Huang, João Marques-Silva

AAAI 2023 Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva

IJCAI 2023 On Tackling Explanation Redundancy in Decision Trees (Extended Abstract) Yacine Izza, Alexey Ignatiev, João Marques-Silva

AAAI 2023 Solving Explainability Queries with Quantification: The Case of Feature Relevancy Xuanxiang Huang, Yacine Izza, João Marques-Silva

AAAI 2022 Constraint-Driven Explanations for Black-Box ML Models Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi

AAAI 2022 Delivering Trustworthy AI Through Formal XAI João Marques-Silva, Alexey Ignatiev

JAIR 2022 On Tackling Explanation Redundancy in Decision Trees Yacine Izza, Alexey Ignatiev, João Marques-Silva

AAAI 2022 Tractable Explanations for D-DNNF Classifiers Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva

AAAI 2022 Using MaxSAT for Efficient Explanations of Tree Ensembles Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, João Marques-Silva

AAAI 2021 A Scalable Two Stage Approach to Computing Optimal Decision Sets Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva

ICML 2021 Explanations for Monotonic Classifiers. Joao Marques-Silva, Thomas Gerspacher, Martin C Cooper, Alexey Ignatiev, Nina Narodytska

IJCAI 2021 On Explaining Random Forests with SAT Yacine Izza, João Marques-Silva

IJCAI 2021 Reasoning-Based Learning of Interpretable ML Models Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey

NeurIPS 2020 Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay Joao Marques-Silva, Thomas Gerspacher, Martin Cooper, Alexey Ignatiev, Nina Narodytska

IJCAI 2020 Reasoning About Inconsistent Formulas João Marques-Silva, Carlos Mencía

AAAI 2019 Abduction-Based Explanations for Machine Learning Models Alexey Ignatiev, Nina Narodytska, João Marques-Silva

IJCAI 2019 Model-Based Diagnosis with Multiple Observations Alexey Ignatiev, António Morgado, Georg Weissenbacher, João Marques-Silva

NeurIPS 2019 On Relating Explanations and Adversarial Examples Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva

IJCAI 2018 Learning Optimal Decision Trees with SAT Nina Narodytska, Alexey Ignatiev, Filipe Pereira, João Marques-Silva

AAAI 2018 MaxSAT Resolution with the Dual Rail Encoding Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, João Marques-Silva, António Morgado

AAAI 2018 Premise Set Caching for Enumerating Minimal Correction Subsets Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva

IJCAI 2017 Cardinality Encodings for Graph Optimization Problems Alexey Ignatiev, António Morgado, João Marques-Silva

IJCAI 2015 Efficient Model Based Diagnosis with Maximum Satisfiability João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado

IJCAI 2015 Literal-Based MCS Extraction Carlos Mencía, Alessandro Previti, João Marques-Silva

IJCAI 2015 Prime Compilation of Non-Clausal Formulae Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva

IJCAI 2015 Solving QBF by Clause Selection Mikolás Janota, João Marques-Silva

IJCAI 2013 On Computing Minimal Correction Subsets João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov

AAAI 2013 Partial MUS Enumeration Alessandro Previti, João Marques-Silva

AAAI 2011 Core-Guided Binary Search Algorithms for Maximum Satisfiability Federico Heras, António Morgado, João Marques-Silva

IJCAI 2011 Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms Federico Heras, João Marques-Silva

IJCAI 2009 On Solving Boolean Multilevel Optimization Problemse Josep Argelich, Inês Lynce, João Marques-Silva

AAAI 2006 Efficient Haplotype Inference with Boolean Satisfiability Inês Lynce, João Marques-Silva