João Paulo Marques da Silva
AuthID: R-000-J0P
31
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
32
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
33
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
34
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
35
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
36
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
37
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
38
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
39
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
40
TITLE: The boolean pythagorean triples problem in coq
AUTHORS: Cruz Filipe, L; Marques Silva, J; Schneider Kamp, P;
PUBLISHED: 2017, SOURCE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
AUTHORS: Cruz Filipe, L; Marques Silva, J; Schneider Kamp, P;
PUBLISHED: 2017, SOURCE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
INDEXED IN: Scopus