João Paulo Marques da Silva
AuthID: R-000-J0P
31
TÃTULO: A Scalable Two Stage Approach to Computing Optimal Decision Sets
AUTORES: Alexey Ignatiev; Edward Lam; Peter J Stuckey; Joao Marques Silva;
PUBLICAÇÃO: 2021, FONTE: 35th AAAI Conference on Artificial Intelligence, AAAI 2021, VOLUME: 5A
AUTORES: Alexey Ignatiev; Edward Lam; Peter J Stuckey; Joao Marques Silva;
PUBLICAÇÃO: 2021, FONTE: 35th AAAI Conference on Artificial Intelligence, AAAI 2021, VOLUME: 5A
INDEXADO EM: 
Scopus
Scopus32
TÃTULO: On Efficiently Explaining Graph-Based Classifiers
AUTORES: Xuanxiang Huang; Yacine Izza; Alexey Ignatiev; Joao Marques Silva;
PUBLICAÇÃO: 2021, FONTE: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021
AUTORES: Xuanxiang Huang; Yacine Izza; Alexey Ignatiev; Joao Marques Silva;
PUBLICAÇÃO: 2021, FONTE: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021
INDEXADO EM: Scopus
Scopus33
TÃTULO: Chapter 4. Conflict-Driven Clause Learning SAT Solvers
AUTORES: Joao Marques-Silva; Ines Lynce ; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Frontiers in Artificial Intelligence and Applications - Handbook of Satisfiability
AUTORES: Joao Marques-Silva; Ines Lynce ; Sharad Malik;
PUBLICAÇÃO: 2021, FONTE: Frontiers in Artificial Intelligence and Applications - Handbook of Satisfiability
34
TÃTULO: Reasoning About Strong Inconsistency in ASP
AUTORES: Carlos Mencía; Joao Marques Silva;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12178 LNCS
AUTORES: Carlos Mencía; Joao Marques Silva;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12178 LNCS
35
TÃTULO: Optimum stable model search: algorithms and implementation
AUTORES: Alviano, M; Dodaro, C; Marques Silva, J; Ricca, F;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 30, NÚMERO: 4
AUTORES: Alviano, M; Dodaro, C; Marques Silva, J; Ricca, F;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 30, NÚMERO: 4
36
TÃTULO: Towards Formal Fairness in Machine Learning
AUTORES: Alexey Ignatiev; Martin C Cooper; Mohamed Siala; Emmanuel Hebrard; Joao Marques Silva;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12333 LNCS
AUTORES: Alexey Ignatiev; Martin C Cooper; Mohamed Siala; Emmanuel Hebrard; Joao Marques Silva;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12333 LNCS
37
TÃTULO: Branch Location Problems with Maximum Satisfiability
AUTORES: Zaikin, O; Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2020, FONTE: ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 325
AUTORES: Zaikin, O; Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2020, FONTE: ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 325
38
TÃTULO: Reasoning about inconsistent formulas
AUTORES: Joao Marques Silva; Carlos Mencía;
PUBLICAÇÃO: 2020, FONTE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2021-January
AUTORES: Joao Marques Silva; Carlos Mencía;
PUBLICAÇÃO: 2020, FONTE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2021-January
INDEXADO EM: Scopus
Scopus39
TÃTULO: Explaining naive bayes and other linear classifiers with polynomial time and delay
AUTORES: Joao Marques Silva; Thomas Gerspacher; Martin C Cooper; Alexey Ignatiev; Nina Narodytska;
PUBLICAÇÃO: 2020, FONTE: Advances in Neural Information Processing Systems, VOLUME: 2020-December
AUTORES: Joao Marques Silva; Thomas Gerspacher; Martin C Cooper; Alexey Ignatiev; Nina Narodytska;
PUBLICAÇÃO: 2020, FONTE: Advances in Neural Information Processing Systems, VOLUME: 2020-December
INDEXADO EM: Scopus
Scopus40
TÃTULO: Reasoning About Strong Inconsistency in ASP
AUTORES: Mencia, C; Marques Silva, J;
PUBLICAÇÃO: 2020, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, VOLUME: 12178
AUTORES: Mencia, C; Marques Silva, J;
PUBLICAÇÃO: 2020, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, VOLUME: 12178
INDEXADO EM: 
WOS
WOS