Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
João Paulo Marques da Silva
AuthID:
R-000-J0P
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (195)
Article (57)
Unpublished (9)
Book Chapter (7)
Editorial Material (2)
Proceedings (1)
Year Start - End:
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
-
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
Publicações Confirmadas: 271
1
TÃTULO:
Burden of Liver Cirrhosis in Portugal between 2010 and 2017
AUTORES:
Silva, JM
; Silva, MJ; Calinas, F;
Nogueira, PJ
;
PUBLICAÇÃO:
2021
,
FONTE:
GE PORTUGUESE JOURNAL OF GASTROENTEROLOGY,
VOLUME:
28,
NÚMERO:
3
INDEXADO EM:
Scopus
WOS
CrossRef
:
2
Handle
2
TÃTULO:
Propositional proof systems based on maximum satisfiability
Full Text
AUTORES:
Bonet, ML; Buss, S;
Ignatiev, A
;
Morgado, António
;
Marques Silva, J
;
PUBLICAÇÃO:
2021
,
FONTE:
ARTIFICIAL INTELLIGENCE,
VOLUME:
300
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
:
4
Unpaywall
NO MEU:
ORCID
3
TÃTULO:
Abduction-Based Explanations for Machine Learning Models
AUTORES:
Ignatiev, A; Narodytska, N;
Marques Silva, J
;
PUBLICAÇÃO:
2019
,
FONTE:
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,
NÚMERO:
01
INDEXADO EM:
WOS
CrossRef
:
63
NO MEU:
ORCID
4
TÃTULO:
Assessing Heuristic Machine Learning Explanations with Model Counting
AUTORES:
Narodytska, N
; Shrotri, A; Meel, KS;
Ignatiev, A
;
Marques Silva, J
;
PUBLICAÇÃO:
2019
,
FONTE:
22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019
in
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019,
VOLUME:
11628
INDEXADO EM:
Scopus
WOS
CrossRef
:
12
Unpaywall
NO MEU:
ORCID
5
TÃTULO:
DRMaxSAT with MaxHS: First Contact
AUTORES:
Morgado, António
;
Ignatiev, A
; Bonet, ML;
Marques Silva, J
; Buss, S;
PUBLICAÇÃO:
2019
,
FONTE:
22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019
in
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019,
VOLUME:
11628
INDEXADO EM:
Scopus
WOS
CrossRef
:
2
Unpaywall
NO MEU:
ORCID
6
TÃTULO:
Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference
AUTORES:
Ilya Zakirzyanov;
Morgado, António
;
Alexey Ignatiev
; Vladimir Ulyantsev;
João Marques Silva
;
PUBLICAÇÃO:
2019
,
FONTE:
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
INDEXADO EM:
Scopus
DBLP
CrossRef
:
4
Unpaywall
NO MEU:
ORCID
7
TÃTULO:
Formally Verifying the Solution to the Boolean Pythagorean Triples Problem
Full Text
AUTORES:
Cruz Filipe, L
;
Marques Silva, J
;
Schneider Kamp, P
;
PUBLICAÇÃO:
2019
,
FONTE:
JOURNAL OF AUTOMATED REASONING,
VOLUME:
63,
NÚMERO:
3
INDEXADO EM:
Scopus
WOS
Unpaywall
8
TÃTULO:
Model-Based Diagnosis with Multiple Observations
AUTORES:
Alexey Ignatiev
;
Morgado, António
; Georg Weissenbacher;
João Marques Silva
;
PUBLICAÇÃO:
2019
,
FONTE:
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019,
VOLUME:
2019-August
INDEXADO EM:
Scopus
DBLP
CrossRef
:
5
Unpaywall
NO MEU:
ORCID
9
TÃTULO:
On Computing the Union of MUSes
AUTORES:
Mencía, C; Kullmann, O;
Ignatiev, A
;
Marques Silva, J
;
PUBLICAÇÃO:
2019
,
FONTE:
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
INDEXADO EM:
Scopus
CrossRef
:
7
Unpaywall
NO MEU:
ORCID
10
TÃTULO:
A SAT-Based Approach to Learn Explainable Decision Sets
AUTORES:
Alexey Ignatiev
; Filipe Pereira; Nina Narodytska;
Joao Marques Silva
;
PUBLICAÇÃO:
2018
,
FONTE:
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
INDEXADO EM:
DBLP
NO MEU:
DBLP
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 1 de 28. Total de resultados: 271.
<<
<
1
2
3
4
5
6
7
8
9
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service
