João Paulo Marques da Silva
AuthID: R-000-J0P
41
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
WOS42
TÃTULO: Reasoning About Inconsistent Formulas
AUTORES: Joao Marques-Silva; Carlos Mencía;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence
AUTORES: Joao Marques-Silva; Carlos Mencía;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence
43
TÃTULO: Computing Shortest Resolution Proofs
AUTORES: Mencía, C; Marques Silva, J;
PUBLICAÇÃO: 2019, FONTE: 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
AUTORES: Mencía, C; Marques Silva, J;
PUBLICAÇÃO: 2019, FONTE: 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
44
TÃTULO: On relating explanations and adversarial examples
AUTORES: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLICAÇÃO: 2019, FONTE: Advances in Neural Information Processing Systems, VOLUME: 32
AUTORES: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLICAÇÃO: 2019, FONTE: Advances in Neural Information Processing Systems, VOLUME: 32
INDEXADO EM: 
Scopus
Scopus45
TÃTULO: On Computing the Union of MUSes
AUTORES: Mencia, C; Kullmann, O; Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2019, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
AUTORES: Mencia, C; Kullmann, O; Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2019, FONTE: THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
INDEXADO EM: WOS
WOS46
TÃTULO: Computing Shortest Resolution Proofs
AUTORES: Mencia, C; Marques Silva, J;
PUBLICAÇÃO: 2019, FONTE: PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805
AUTORES: Mencia, C; Marques Silva, J;
PUBLICAÇÃO: 2019, FONTE: PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805
INDEXADO EM: WOS
WOS47
TÃTULO: Learning optimal decision trees with SAT
AUTORES: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva;
PUBLICAÇÃO: 2018, FONTE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July
AUTORES: Nina Narodytska; Alexey Ignatiev; Filipe Pereira; Joao Marques Silva;
PUBLICAÇÃO: 2018, FONTE: IJCAI International Joint Conference on Artificial Intelligence, VOLUME: 2018-July
48
TÃTULO: Premise set caching for enumerating minimal correction subsets
AUTORES: Alessandro Previti; Matti Järvisalo; Carlos Mencía; Joao Marques Silva;
PUBLICAÇÃO: 2018, FONTE: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018
AUTORES: Alessandro Previti; Matti Järvisalo; Carlos Mencía; Joao Marques Silva;
PUBLICAÇÃO: 2018, FONTE: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018
INDEXADO EM: Scopus
Scopus49
TÃTULO: Propositional SAT Solving
AUTORES: Joao Marques-Silva; Sharad Malik;
PUBLICAÇÃO: 2018, FONTE: Handbook of Model Checking
AUTORES: Joao Marques-Silva; Sharad Malik;
PUBLICAÇÃO: 2018, FONTE: Handbook of Model Checking
50
TÃTULO: Computing with SAT Oracles: Past, Present and Future
AUTORES: Joao Marques-Silva;
PUBLICAÇÃO: 2018, FONTE: Sailing Routes in the World of Computation - Lecture Notes in Computer Science
AUTORES: Joao Marques-Silva;
PUBLICAÇÃO: 2018, FONTE: Sailing Routes in the World of Computation - Lecture Notes in Computer Science
