Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoão Marques-Silva 0001
João P. Marques Silva – João Paulo Marques Silva
Person information
- affiliation: IRIT, CNRS, Toulouse, France
- affiliation (former): University of Toulouse, ANITI, Toulouse, France
- affiliation (former): University of Lisbon, Portugal
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j55]Martin C. Cooper
, João Marques-Silva:
Tractability of explaining classifier decisions. Artif. Intell. 316: 103841 (2023)- [c199]Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva:
Feature Necessity & Relevancy in ML Classifier Explanations. TACAS (1) 2023: 167-186 - [i53]Xuanxiang Huang, João Marques-Silva:
The Inadequacy of Shapley Values for Explainability. CoRR abs/2302.08160 (2023) - 2022
- [j54]Yacine Izza, Alexey Ignatiev, João Marques-Silva:
On Tackling Explanation Redundancy in Decision Trees. J. Artif. Intell. Res. 75: 261-321 (2022) - [c198]Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, João Marques-Silva:
Using MaxSAT for Efficient Explanations of Tree Ensembles. AAAI 2022: 3776-3785 - [c197]Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva:
Tractable Explanations for d-DNNF Classifiers. AAAI 2022: 5719-5728 - [c196]Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi:
Constraint-Driven Explanations for Black-Box ML Models. AAAI 2022: 8304-8314 - [c195]João Marques-Silva, Alexey Ignatiev:
Delivering Trustworthy AI through Formal XAI. AAAI 2022: 12342-12350 - [i52]Xuanxiang Huang, João Marques-Silva:
On Deciding Feature Membership in Explanations of SDD & Related Classifiers. CoRR abs/2202.07553 (2022) - [i51]Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva:
Provably Precise, Succinct and Efficient Explanations for Decision Trees. CoRR abs/2205.09569 (2022) - [i50]Yacine Izza, Alexey Ignatiev, João Marques-Silva:
On Tackling Explanation Redundancy in Decision Trees. CoRR abs/2205.09971 (2022) - [i49]Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, João Marques-Silva:
Eliminating The Impossible, Whatever Remains Must Be True. CoRR abs/2206.09551 (2022) - [i48]Yacine Izza, João Marques-Silva:
On Computing Relevant Features for Explaining NBCs. CoRR abs/2207.04748 (2022) - [i47]Xuanxiang Huang, Martin C. Cooper, António Morgado, Jordi Planes, João Marques-Silva:
Feature Necessity & Relevancy in ML Classifier Explanations. CoRR abs/2210.15675 (2022) - [i46]João Marques-Silva:
Logic-Based Explainability in Machine Learning. CoRR abs/2211.00541 (2022) - [i45]Yacine Izza, Xuanxiang Huang, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva:
On Computing Probabilistic Abductive Explanations. CoRR abs/2212.05990 (2022) - 2021
- [j53]Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, António Morgado, João Marques-Silva:
Propositional proof systems based on maximum satisfiability. Artif. Intell. 300: 103552 (2021) - [j52]Daniel Gibert, Carles Mateu, Jordi Planes, João Marques-Silva:
Auditing static machine learning anti-Malware tools against metamorphic attacks. Comput. Secur. 102: 102159 (2021) - [c194]Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva:
A Scalable Two Stage Approach to Computing Optimal Decision Sets. AAAI 2021: 3806-3814 - [c193]João Marques-Silva:
Automated Reasoning in Explainable AI. CCIA 2021: 4 - [c192]Martin C. Cooper, João Marques-Silva:
On the Tractability of Explaining Decisions of Classifiers. CP 2021: 21:1-21:18 - [c191]Gianpiero Cabodi, Paolo E. Camurati, Alexey Ignatiev, João Marques-Silva, Marco Palena, Paolo Pasini:
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification. DATE 2021: 1122-1125 - [c190]João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska:
Explanations for Monotonic Classifiers. ICML 2021: 7469-7479 - [c189]Yacine Izza, João Marques-Silva:
On Explaining Random Forests with SAT. IJCAI 2021: 2584-2591 - [c188]Alexey Ignatiev, João Marques-Silva, Nina Narodytska, Peter J. Stuckey:
Reasoning-Based Learning of Interpretable ML Models. IJCAI 2021: 4458-4465 - [c187]Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, João Marques-Silva:
On Efficiently Explaining Graph-Based Classifiers. KR 2021: 356-367 - [c186]Alexey Ignatiev, João Marques-Silva:
SAT-Based Rigorous Explanations for Decision Lists. SAT 2021: 251-269 - [c185]Stepan Kochemazov, Alexey Ignatiev, João Marques-Silva:
Assessing Progress in SAT Solvers Through the Lens of Incremental SAT. SAT 2021: 280-298 - [p6]João Marques-Silva, Inês Lynce, Sharad Malik:
Conflict-Driven Clause Learning SAT Solvers. Handbook of Satisfiability 2021: 133-182 - [i44]Alexey Ignatiev, Edward Lam, Peter J. Stuckey, João Marques-Silva:
A Scalable Two Stage Approach to Computing Optimal Decision Sets. CoRR abs/2102.01904 (2021) - [i43]Takfarinas Saber, Anthony Ventresque, João Marques-Silva, James Thorburn, Liam Murphy:
MILP for the Multi-objective VM Reassignment Problem. CoRR abs/2103.10410 (2021) - [i42]Alexey Ignatiev, João Marques-Silva:
SAT-Based Rigorous Explanations for Decision Lists. CoRR abs/2105.06782 (2021) - [i41]Yacine Izza, João Marques-Silva:
On Explaining Random Forests with SAT. CoRR abs/2105.10278 (2021) - [i40]João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska:
Explanations for Monotonic Classifiers. CoRR abs/2106.00154 (2021) - [i39]Yacine Izza, Alexey Ignatiev, Nina Narodytska, Martin C. Cooper, João Marques-Silva:
Efficient Explanations With Relevant Sets. CoRR abs/2106.00546 (2021) - [i38]Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, João Marques-Silva:
On Efficiently Explaining Graph-Based Classifiers. CoRR abs/2106.01350 (2021) - [i37]Xuanxiang Huang, Yacine Izza, Alexey Ignatiev, Martin C. Cooper, Nicholas Asher, João Marques-Silva:
Efficient Explanations for Knowledge Compilation Languages. CoRR abs/2107.01654 (2021) - [i36]João Marques-Silva, Rafael Peñaloza, Uli Sattler:
Extending the Synergies Between SAT and Description Logics (Dagstuhl Seminar 21361). Dagstuhl Reports 11(8): 1-10 (2021) - 2020
- [j51]Mario Alviano, Carmine Dodaro, João Marques-Silva, Francesco Ricca:
Optimum stable model search: algorithms and implementation. J. Log. Comput. 30(4): 863-897 (2020) - [c184]Alexey Ignatiev, Nina Narodytska, Nicholas Asher, João Marques-Silva:
From Contrastive to Abductive Explanations and Back Again. AI*IA 2020: 335-355 - [c183]Alexey Ignatiev, Martin C. Cooper, Mohamed Siala, Emmanuel Hebrard, João Marques-Silva:
Towards Formal Fairness in Machine Learning. CP 2020: 846-867 - [c182]Oleg Zaikin, Alexey Ignatiev, João Marques-Silva:
Branch Location Problems with Maximum Satisfiability. ECAI 2020: 379-386 - [c181]João Marques-Silva, Carlos Mencía:
Reasoning About Inconsistent Formulas. IJCAI 2020: 4899-4906 - [c180]João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska:
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. NeurIPS 2020 - [c179]Carlos Mencía, João Marques-Silva:
Reasoning About Strong Inconsistency in ASP. SAT 2020: 332-342 - [i35]João Marques-Silva, Thomas Gerspacher, Martin C. Cooper, Alexey Ignatiev, Nina Narodytska:
Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delay. CoRR abs/2008.05803 (2020) - [i34]Yacine Izza, Alexey Ignatiev, João Marques-Silva:
On Explaining Decision Trees. CoRR abs/2010.11034 (2020) - [i33]Alexey Ignatiev, Nina Narodytska, Nicholas Asher, João Marques-Silva:
On Relating 'Why?' and 'Why Not?' Explanations. CoRR abs/2012.11067 (2020)
2010 – 2019
- 2019
- [j50]Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp:
Formally Verifying the Solution to the Boolean Pythagorean Triples Problem. J. Autom. Reason. 63(3): 695-722 (2019) - [j49]Alexey Ignatiev, António Morgado, João Marques-Silva:
RC2: an Efficient MaxSAT Solver. J. Satisf. Boolean Model. Comput. 11(1): 53-64 (2019) - [c178]Alexey Ignatiev, Nina Narodytska, João Marques-Silva:
Abduction-Based Explanations for Machine Learning Models. AAAI 2019: 1511-1519 - [c177]Carlos Mencía, João Marques-Silva:
Computing Shortest Resolution Proofs. EPIA (2) 2019: 539-551 - [c176]Alexey Ignatiev, António Morgado, Georg Weissenbacher, João Marques-Silva:
Model-Based Diagnosis with Multiple Observations. IJCAI 2019: 1108-1115 - [c175]Ilya Zakirzyanov, António Morgado, Alexey Ignatiev, Vladimir Ulyantsev, João Marques-Silva:
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. LATA 2019: 159-173 - [c174]Alexey Ignatiev, Nina Narodytska, João Marques-Silva:
On Relating Explanations and Adversarial Examples. NeurIPS 2019: 15857-15867 - [c173]Carlos Mencía, Oliver Kullmann, Alexey Ignatiev, João Marques-Silva:
On Computing the Union of MUSes. SAT 2019: 211-221 - [c172]António Morgado, Alexey Ignatiev, Maria Luisa Bonet, João Marques-Silva, Sam Buss:
DRMaxSAT with MaxHS: First Contact. SAT 2019: 239-249 - [c171]Nina Narodytska, Aditya A. Shrotri, Kuldeep S. Meel, Alexey Ignatiev, João Marques-Silva:
Assessing Heuristic Machine Learning Explanations with Model Counting. SAT 2019: 267-278 - [i32]Alexey Ignatiev, Nina Narodytska, João Marques-Silva:
On Validating, Repairing and Refining Heuristic ML Explanations. CoRR abs/1907.02509 (2019) - [i31]Zied Bouraoui, Antoine Cornuéjols, Thierry Denoeux, Sébastien Destercke, Didier Dubois, Romain Guillaume, João Marques-Silva, Jérôme Mengin, Henri Prade, Steven Schockaert, Mathieu Serrurier, Christel Vrain:
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group). CoRR abs/1912.06612 (2019) - 2018
- [c170]Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, João Marques-Silva, António Morgado:
MaxSAT Resolution With the Dual Rail Encoding. AAAI 2018: 6565-6572 - [c169]Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva:
Premise Set Caching for Enumerating Minimal Correction Subsets. AAAI 2018: 6633-6640 - [c168]Alexey Ignatiev, Filipe Pereira, Nina Narodytska, João Marques-Silva:
A SAT-Based Approach to Learn Explainable Decision Sets. IJCAR 2018: 627-645 - [c167]João Marques-Silva:
Computing with SAT Oracles: Past, Present and Future. CiE 2018: 264-276 - [c166]Nina Narodytska, Alexey Ignatiev, Filipe Pereira, João Marques-Silva:
Learning Optimal Decision Trees with SAT. IJCAI 2018: 1362-1368 - [c165]Alexey Ignatiev, António Morgado, João Marques-Silva:
PySAT: A Python Toolkit for Prototyping with SAT Oracles. SAT 2018: 428-437 - [p5]João Marques-Silva, Sharad Malik:
Propositional SAT Solving. Handbook of Model Checking 2018: 247-275 - [i30]Alexey Ignatiev, Nina Narodytska, João Marques-Silva:
Abduction-Based Explanations for Machine Learning Models. CoRR abs/1811.10656 (2018) - 2017
- [j48]João Marques-Silva, Mikolás Janota, Carlos Mencía:
Minimal sets on propositional formulae. Problems and reductions. Artif. Intell. 252: 22-50 (2017) - [j47]Takfarinas Saber, João Marques-Silva, James Thorburn, Anthony Ventresque:
Exact and Hybrid Solutions for the Multi-Objective VM Reassignment Problem. Int. J. Artif. Intell. Tools 26(1): 1760004:1-1760004:36 (2017) - [c164]Mikolás Janota, João Marques-Silva:
On Minimal Corrections in ASP. RCRA@AI*IA 2017: 45-54 - [c163]Alexey Ignatiev, João Marques-Silva, Carlos Mencía, Rafael Peñaloza:
Debugging EL+ Ontologies through Horn MUS Enumeration. Description Logics 2017 - [c162]Mikolás Janota, João Marques-Silva:
An Achilles' Heel of Term-Resolution. EPIA 2017: 670-680 - [c161]João Marques-Silva, Alexey Ignatiev, António Morgado:
Horn Maximum Satisfiability: Reductions, Algorithms and Applications. EPIA 2017: 681-694 - [c160]Rafael Peñaloza, Carlos Mencía, Alexey Ignatiev, João Marques-Silva:
Lean Kernels in Description Logics. ESWC (1) 2017: 518-533 - [c159]Alessandro Previti, Alexey Ignatiev, Matti Järvisalo, João Marques-Silva:
On Computing Generalized Backbones. ICTAI 2017: 1050-1056 - [c158]Alexey Ignatiev, António Morgado, João Marques-Silva:
Cardinality Encodings for Graph Optimization Problems. IJCAI 2017: 652-658 - [c157]Alexey Ignatiev, António Morgado, João Marques-Silva:
On Tackling the Limits of Resolution in SAT Solving. SAT 2017: 164-183 - [c156]Alessandro Previti, Carlos Mencía, Matti Järvisalo, João Marques-Silva:
Improving MCS Enumeration via Caching. SAT 2017: 184-194 - [c155]Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp:
Efficient Certified Resolution Proof Checking. TACAS (1) 2017: 118-135 - [i29]Alexey Ignatiev, António Morgado, João Marques-Silva:
On Tackling the Limits of Resolution in SAT Solving. CoRR abs/1705.01477 (2017) - [i28]João Marques-Silva, Alexey Ignatiev, António Morgado:
Horn Maximum Satisfiability: Reductions, Algorithms & Applications. CoRR abs/1705.05335 (2017) - [i27]Alexey Ignatiev, António Morgado, João Marques-Silva:
Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets. CoRR abs/1707.01972 (2017) - 2016
- [j46]Mikolás Janota, João Marques-Silva:
On the query complexity of selecting minimal sets for monotone predicates. Artif. Intell. 233: 73-83 (2016) - [j45]Mikolás Janota, William Klieber, João Marques-Silva, Edmund M. Clarke:
Solving QBF with counterexample guided refinement. Artif. Intell. 234: 1-25 (2016) - [j44]Alexey Ignatiev, António Morgado, Jordi Planes, João Marques-Silva:
Maximal falsifiability. AI Commun. 29(2): 351-370 (2016) - [j43]Stefano V. Albrecht, Bruno Bouchard, John S. Brownstein, David L. Buckeridge, Cornelia Caragea, Kevin M. Carter, Adnan Darwiche, Blaz Fortuna, Yannick Francillette, Sébastien Gaboury, C. Lee Giles, Marko Grobelnik, Estevam R. Hruschka Jr., Jeffrey O. Kephart, Parisa Kordjamshidi, Viliam Lisý, Daniele Magazzeni, João Marques-Silva, Pierre Marquis, David R. Martinez, Marek P. Michalowski, Arash Shaban-Nejad, Zeinab Noorian, Enrico Pontelli, Alex Rogers, Stephanie Rosenthal, Dan Roth, Arunesh Sinha, William W. Streilein, Sylvie Thiébaux, Tran Cao Son, Byron C. Wallace, Toby Walsh, Michael J. Witbrock, Jie Zhang:
Reports of the 2016 AAAI Workshop Program. AI Mag. 37(3): 99-108 (2016) - [j42]Mark H. Liffiton, Alessandro Previti, Ammar Malik, João Marques-Silva:
Fast, flexible MUS enumeration. Constraints An Int. J. 21(2): 223-250 (2016) - [j41]Alexey Ignatiev, Mikolás Janota, João Marques-Silva:
Quantified maximum satisfiability. Constraints An Int. J. 21(2): 277-302 (2016) - [c154]Adnan Darwiche, João Marques-Silva, Pierre Marquis:
Preface: The Beyond NP Workshop. AAAI Workshop: Beyond NP 2016 - [c153]Alexey Ignatiev, Alessandro Previti, João Marques-Silva:
On Finding Minimum Satisfying Assignments. CP 2016: 287-297 - [c152]Alexey Ignatiev, António Morgado, João Marques-Silva:
Propositional Abduction with Implicit Hitting Sets. ECAI 2016: 1327-1335 - [c151]João Marques-Silva, Alexey Ignatiev, Carlos Mencía, Rafael Peñaloza:
Efficient Reasoning for Inconsistent Horn Formulae. JELIA 2016: 336-352 - [c150]Carlos Mencía, Alexey Ignatiev, Alessandro Previti, João Marques-Silva:
MCS Extraction with Sublinear Oracle Queries. SAT 2016: 342-360 - [c149]M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, João Marques-Silva:
BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies. SAT 2016: 521-530 - [i26]Alexey Ignatiev, António Morgado, João Marques-Silva:
Propositional Abduction with Implicit Hitting Sets. CoRR abs/1604.08229 (2016) - [i25]Luís Cruz-Filipe, João Marques-Silva, Peter Schneider-Kamp:
Efficient Certified Resolution Proof Checking. CoRR abs/1610.06984 (2016) - 2015
- [j40]Mikolás Janota, Inês Lynce, João Marques-Silva:
Algorithms for computing backbones of propositional formulae. AI Commun. 28(2): 161-177 (2015) - [j39]Federico Heras, António Morgado, João Marques-Silva:
MaxSAT-based encodings for Group MaxSAT. AI Commun. 28(2): 195-214 (2015) - [j38]Mikolás Janota, João Marques-Silva:
Expansion-based QBF solving versus Q-resolution. Theor. Comput. Sci. 577: 25-42 (2015) - [c148]Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, João Marques-Silva:
Smallest MUS Extraction with Minimal Hitting Set Dualization. CP 2015: 173-182 - [c147]Takfarinas Saber, Anthony Ventresque, João Marques-Silva, James Thorburn, Liam Murphy:
MILP for the Multi-objective VM Reassignment Problem. ICTAI 2015: 41-48 - [c146]Mikolás Janota, João Marques-Silva:
Solving QBF by Clause Selection. IJCAI 2015: 325-331 - [c145]João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado:
Efficient Model Based Diagnosis with Maximum Satisfiability. IJCAI 2015: 1966-1972 - [c144]Carlos Mencía, Alessandro Previti, João Marques-Silva:
Literal-Based MCS Extraction. IJCAI 2015: 1973-1979 - [c143]Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva:
Prime Compilation of Non-Clausal Formulae. IJCAI 2015: 1980-1988 - [c142]M. Fareed Arif, Carlos Mencía, João Marques-Silva:
Efficient Axiom Pinpointing with EL2MCS. KI 2015: 225-233 - [c141]Oliver Kullmann, João Marques-Silva:
Computing Maximal Autarkies with Few and Simple Oracle Queries. SAT 2015: 138-155 - [c140]Alexey Ignatiev, Alessandro Previti, João Marques-Silva:
SAT-Based Formula Simplification. SAT 2015: 287-298 - [c139]M. Fareed Arif, Carlos Mencía, João Marques-Silva:
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. SAT 2015: 324-342 - [c138]Carlos Mencía, Alessandro Previti, João Marques-Silva:
SAT-Based Horn Least Upper Bounds. SAT 2015: 423-433 - [i24]M. Fareed Arif, João Marques-Silva:
Towards Efficient Axiom Pinpointing of EL+ Ontologies. CoRR abs/1503.08454 (2015) - [i23]Oliver Kullmann, João Marques-Silva:
Computing maximal autarkies with few and simple oracle queries. CoRR abs/1505.02371 (2015) - [i22]M. Fareed Arif, Carlos Mencía, João Marques-Silva:
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing. CoRR abs/1505.04365 (2015) - 2014
- [j37]Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva:
Algorithms for computing minimal equivalent subformulas. Artif. Intell. 216: 309-326 (2014) - [j36]António Morgado, Alexey Ignatiev, João Marques-Silva:
MSCG: Robust Core-Guided MaxSAT Solving. J. Satisf. Boolean Model. Comput. 9(1): 129-134 (2014) - [c137]António Morgado, Carmine Dodaro, João Marques-Silva:
Core-Guided MaxSAT with Soft Cardinality Constraints. CP 2014: 564-573 - [c136]Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva:
A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. CPAIOR 2014: 368-376 - [c135]Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce, João Marques-Silva:
Progression in Maximum Satisfiability. ECAI 2014: 453-458 - [c134]João Marques-Silva, Alexey Ignatiev, António Morgado, Vasco M. Manquinho, Inês Lynce:
Efficient Autarkies. ECAI 2014: 603-608 - [c133]Yuri Malitsky, Barry O'Sullivan, Alessandro Previti, João Marques-Silva:
Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems. ECAI 2014: 1065-1066 - [c132]