João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 266



41
TÍTULO: On the query complexity of selecting minimal sets for monotone predicates  Full Text
AUTORES: Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 233
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
42
TÍTULO: Preface: The Beyond NP Workshop
AUTORES: Adnan Darwiche; Joao Marques Silva ; Pierre Marquis;
PUBLICAÇÃO: 2016, FONTE: Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016., VOLUME: WS-16-05
INDEXADO EM: DBLP
NO MEU: DBLP
43
TÍTULO: Propositional Abduction with Implicit Hitting Sets PDF
AUTORES: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 1
44
TÍTULO: Quantified maximum satisfiability  Full Text
AUTORES: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: CONSTRAINTS, VOLUME: 21, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
45
TÍTULO: Reports of the 2016 AAAI Workshop Program
AUTORES: Albrecht, SV; Bouchard, B; Brownstein, JS; Buckeridge, DL; Caragea, C; Carter, KM; Darwiche, A; Fortuna, B; Francillette, Y; Gaboury, S; Giles, CL; Grobelnik, M; Hruschka, E; Kephart, JO; Kordjamshidi, P; Lisy, V; Magazzeni, D; Marques Silva, J ; Marquis, P; Martinez, D; Michalowski, M; Noorian, Z; Pontelli, E; Rogers, A; Rosenthal, S; Roth, D; Sanner, S; Shaban Nejad, A; Sinha, A; Son, TC; Streilein, W; Thiebaux, S; Wallace, BC; Walsh, T; Witbroc, M; Zhang, J; ...Mais
PUBLICAÇÃO: 2016, FONTE: AI MAGAZINE, VOLUME: 37, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
46
TÍTULO: Solving QBF with counterexample guided refinement  Full Text
AUTORES: Janota, M; Klieber, W; Marques Silva, J ; Clarke, E;
PUBLICAÇÃO: 2016, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 234
INDEXADO EM: Scopus WOS CrossRef Unpaywall
47
TÍTULO: Solving QBF with counterexample guided refinement
AUTORES: Mikolás Janota; William Klieber; Joao Marques Silva ; Edmund M. Clarke;
PUBLICAÇÃO: 2016, FONTE: Artif. Intell., VOLUME: 234
INDEXADO EM: DBLP
NO MEU: DBLP
48
TÍTULO: Algorithms for computing backbones of propositional formulae  Full Text
AUTORES: Janota, M; Lynce, I ; Marques Sliva, J ;
PUBLICAÇÃO: 2015, FONTE: AI COMMUNICATIONS, VOLUME: 28, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 26 Unpaywall
NO MEU: DBLP
49
TÍTULO: Computing Maximal Autarkies with Few and Simple Oracle Queries
AUTORES: Kullmann, O; Marques Silva, J ;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP
50
TÍTULO: Efficient Axiom Pinpointing with EL2MCS
AUTORES: Arif, MF; Mencia, C; Marques Silva, J ;
PUBLICAÇÃO: 2015, FONTE: 38th German Conference on Artificial Intelligence (AI) in KI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 9324
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP
Página 5 de 27. Total de resultados: 266.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service