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
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
3
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 / 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
INDEXED IN: WOS
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
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
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
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
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
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.