João Paulo Marques da Silva
AuthID: R-000-J0P
31
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
32
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
33
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 WOS34
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
Scopus35
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
Scopus36
TITLE: Reasoning About Strong Inconsistency in ASP
AUTHORS: Mencia, C; Marques Silva, J;
PUBLISHED: 2020, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, VOLUME: 12178
AUTHORS: Mencia, C; Marques Silva, J;
PUBLISHED: 2020, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, SAT 2020, VOLUME: 12178
INDEXED IN: WOS
WOS37
TITLE: Reasoning About Inconsistent Formulas
AUTHORS: Joao Marques-Silva; Carlos Mencía;
PUBLISHED: 2020, SOURCE: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence
AUTHORS: Joao Marques-Silva; Carlos Mencía;
PUBLISHED: 2020, SOURCE: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence
38
TITLE: Computing Shortest Resolution Proofs
AUTHORS: Mencía, C; Marques Silva, J;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11805 LNAI
AUTHORS: Mencía, C; Marques Silva, J;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11805 LNAI
39
TITLE: On relating explanations and adversarial examples
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLISHED: 2019, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 32
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLISHED: 2019, SOURCE: Advances in Neural Information Processing Systems, VOLUME: 32
INDEXED IN: Scopus
Scopus40
TITLE: On Computing the Union of MUSes
AUTHORS: Mencia, C; Kullmann, O; Ignatiev, A; Marques Silva, J;
PUBLISHED: 2019, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
AUTHORS: Mencia, C; Kullmann, O; Ignatiev, A; Marques Silva, J;
PUBLISHED: 2019, SOURCE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
INDEXED IN: WOS
WOS