João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



1
TITLE: Burden of Liver Cirrhosis in Portugal between 2010 and 2017
AUTHORS: Silva, JM ; Silva, MJ; Calinas, F; Nogueira, PJ;
PUBLISHED: 2021, SOURCE: GE PORTUGUESE JOURNAL OF GASTROENTEROLOGY, VOLUME: 28, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef: 2 Handle
2
TITLE: Propositional proof systems based on maximum satisfiability  Full Text
AUTHORS: Bonet, ML; Buss, S; Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2021, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 300
INDEXED IN: Scopus WOS DBLP CrossRef: 4 Unpaywall
IN MY: ORCID
3
TITLE: Abduction-Based Explanations for Machine Learning Models
AUTHORS: Ignatiev, A; Narodytska, N; Marques Silva, J ;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 33, ISSUE: 01
INDEXED IN: WOS CrossRef: 63
IN MY: ORCID
4
TITLE: Assessing Heuristic Machine Learning Explanations with Model Counting
AUTHORS: Narodytska, N; Shrotri, A; Meel, KS; Ignatiev, A; Marques Silva, J ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
INDEXED IN: Scopus WOS CrossRef: 12 Unpaywall
IN MY: ORCID
5
TITLE: DRMaxSAT with MaxHS: First Contact
AUTHORS: Morgado, António ; Ignatiev, A; Bonet, ML; Marques Silva, J ; Buss, S;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, VOLUME: 11628
INDEXED IN: Scopus WOS CrossRef: 2 Unpaywall
IN MY: ORCID
6
TITLE: Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
AUTHORS: Ilya Zakirzyanov; Morgado, António ; Alexey Ignatiev; Vladimir Ulyantsev; João Marques Silva ;
PUBLISHED: 2019, SOURCE: 13th International Conference on Language and Automata Theory and Applications, LATA 2019 in Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, VOLUME: 11417
INDEXED IN: Scopus DBLP CrossRef: 4 Unpaywall
IN MY: ORCID
7
TITLE: Formally Verifying the Solution to the Boolean Pythagorean Triples Problem  Full Text
AUTHORS: Cruz Filipe, L; Marques Silva, J ; Schneider Kamp, P;
PUBLISHED: 2019, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 63, ISSUE: 3
INDEXED IN: Scopus WOS Unpaywall
8
TITLE: Model-Based Diagnosis with Multiple Observations
AUTHORS: Alexey Ignatiev; Morgado, António ; Georg Weissenbacher; João Marques Silva ;
PUBLISHED: 2019, SOURCE: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, VOLUME: 2019-August
INDEXED IN: Scopus DBLP CrossRef: 5 Unpaywall
IN MY: ORCID
9
TITLE: On Computing the Union of MUSes
AUTHORS: Mencía, C; Kullmann, O; Ignatiev, A; Marques Silva, J ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11628 LNCS
INDEXED IN: Scopus CrossRef: 7 Unpaywall
IN MY: ORCID
10
TITLE: A SAT-Based Approach to Learn Explainable Decision Sets
AUTHORS: Alexey Ignatiev; Filipe Pereira; Nina Narodytska; Joao Marques Silva ;
PUBLISHED: 2018, SOURCE: Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, VOLUME: 10900
INDEXED IN: DBLP
IN MY: DBLP
Page 1 of 28. Total results: 271.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service