João Paulo Marques da Silva
AuthID: R-000-J0P
21
TITLE: On the tractability of explaining decisions of classifiers
AUTHORS: Martin C Cooper; João Marques Silva;
PUBLISHED: 2021, SOURCE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 210
AUTHORS: Martin C Cooper; João Marques Silva;
PUBLISHED: 2021, SOURCE: Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 210
INDEXED IN: 
Scopus
Scopus22
TITLE: A Scalable Two Stage Approach to Computing Optimal Decision Sets
AUTHORS: Alexey Ignatiev; Edward Lam; Peter J Stuckey; Joao Marques Silva;
PUBLISHED: 2021, SOURCE: 35th AAAI Conference on Artificial Intelligence, AAAI 2021, VOLUME: 5A
AUTHORS: Alexey Ignatiev; Edward Lam; Peter J Stuckey; Joao Marques Silva;
PUBLISHED: 2021, SOURCE: 35th AAAI Conference on Artificial Intelligence, AAAI 2021, VOLUME: 5A
INDEXED IN: Scopus
Scopus23
TITLE: On Efficiently Explaining Graph-Based Classifiers
AUTHORS: Xuanxiang Huang; Yacine Izza; Alexey Ignatiev; Joao Marques Silva;
PUBLISHED: 2021, SOURCE: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021
AUTHORS: Xuanxiang Huang; Yacine Izza; Alexey Ignatiev; Joao Marques Silva;
PUBLISHED: 2021, SOURCE: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021
INDEXED IN: Scopus
Scopus24
TITLE: Chapter 4. Conflict-Driven Clause Learning SAT Solvers
AUTHORS: Joao Marques-Silva; Ines Lynce; Sharad Malik;
PUBLISHED: 2021, SOURCE: Frontiers in Artificial Intelligence and Applications - Handbook of Satisfiability
AUTHORS: Joao Marques-Silva; Ines Lynce; Sharad Malik;
PUBLISHED: 2021, SOURCE: Frontiers in Artificial Intelligence and Applications - Handbook of Satisfiability
25
TITLE: Reasoning About Strong Inconsistency in ASP
AUTHORS: Carlos Mencía; Joao Marques Silva;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12178 LNCS
AUTHORS: Carlos Mencía; Joao Marques Silva;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12178 LNCS
26
TITLE: Optimum stable model search: algorithms and implementation
AUTHORS: Alviano, M; Dodaro, C; Marques Silva, J; Ricca, F;
PUBLISHED: 2020, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 30, ISSUE: 4
AUTHORS: Alviano, M; Dodaro, C; Marques Silva, J; Ricca, F;
PUBLISHED: 2020, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 30, ISSUE: 4
27
TITLE: Towards Formal Fairness in Machine Learning
AUTHORS: Alexey Ignatiev; Martin C Cooper; Mohamed Siala; Emmanuel Hebrard; Joao Marques Silva;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12333 LNCS
AUTHORS: Alexey Ignatiev; Martin C Cooper; Mohamed Siala; Emmanuel Hebrard; Joao Marques Silva;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12333 LNCS
28
TITLE: Branch Location Problems with Maximum Satisfiability
AUTHORS: Zaikin, O; Ignatiev, A; Marques Silva, J;
PUBLISHED: 2020, SOURCE: ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 325
AUTHORS: Zaikin, O; Ignatiev, A; Marques Silva, J;
PUBLISHED: 2020, SOURCE: ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 325
INDEXED IN: Scopus 
WOS
Scopus WOS29
TITLE: Reasoning about inconsistent formulas
AUTHORS: Joao Marques Silva; Carlos Mencía;
PUBLISHED: 2020, SOURCE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2021-January
AUTHORS: Joao Marques Silva; Carlos Mencía;
PUBLISHED: 2020, SOURCE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2021-January
INDEXED IN: Scopus
Scopus30
TITLE: Explaining naive bayes and other linear classifiers with polynomial time and delay
AUTHORS: Joao Marques Silva; Thomas Gerspacher; Martin C Cooper; Alexey Ignatiev; Nina Narodytska;
PUBLISHED: 2020, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 2020-December
AUTHORS: Joao Marques Silva; Thomas Gerspacher; Martin C Cooper; Alexey Ignatiev; Nina Narodytska;
PUBLISHED: 2020, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 2020-December
INDEXED IN: Scopus
Scopus