João Paulo Marques da Silva
AuthID: R-000-J0P
31
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
WOS32
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
33
TITLE: Abduction-based explanations for machine learning models
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019
AUTHORS: Alexey Ignatiev; Nina Narodytska; Joao Marques Silva;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019
INDEXED IN: 
Scopus
Scopus34
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
Scopus35
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
WOS36
TITLE: Computing Shortest Resolution Proofs
AUTHORS: Mencia, C; Marques Silva, J;
PUBLISHED: 2019, SOURCE: PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805
AUTHORS: Mencia, C; Marques Silva, J;
PUBLISHED: 2019, SOURCE: PROGRESS IN ARTIFICIAL INTELLIGENCE, PT II, VOLUME: 11805
INDEXED IN: WOS
WOS37
TITLE: Premise set caching for enumerating minimal correction subsets
AUTHORS: Alessandro Previti; Matti Järvisalo; Carlos Mencía; Joao Marques Silva;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018
AUTHORS: Alessandro Previti; Matti Järvisalo; Carlos Mencía; Joao Marques Silva;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence, AAAI 2018
INDEXED IN: Scopus
Scopus38
TITLE: Propositional SAT Solving
AUTHORS: Joao Marques-Silva; Sharad Malik;
PUBLISHED: 2018, SOURCE: Handbook of Model Checking
AUTHORS: Joao Marques-Silva; Sharad Malik;
PUBLISHED: 2018, SOURCE: Handbook of Model Checking
39
TITLE: Computing with SAT Oracles: Past, Present and Future
AUTHORS: Joao Marques-Silva;
PUBLISHED: 2018, SOURCE: Sailing Routes in the World of Computation - Lecture Notes in Computer Science
AUTHORS: Joao Marques-Silva;
PUBLISHED: 2018, SOURCE: Sailing Routes in the World of Computation - Lecture Notes in Computer Science
40
TITLE: Formally Verifying the Solution to the Boolean Pythagorean Triples Problem Full Text
AUTHORS: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLISHED: 2018, SOURCE: Journal of Automated Reasoning, VOLUME: 63, ISSUE: 3
AUTHORS: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLISHED: 2018, SOURCE: Journal of Automated Reasoning, VOLUME: 63, ISSUE: 3
