João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 266



41
TITLE: On the query complexity of selecting minimal sets for monotone predicates  Full Text
AUTHORS: Janota, M; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 233
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
42
TITLE: Preface: The Beyond NP Workshop
AUTHORS: Adnan Darwiche; Joao Marques Silva ; Pierre Marquis;
PUBLISHED: 2016, SOURCE: Beyond NP, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016., VOLUME: WS-16-05
INDEXED IN: DBLP
IN MY: DBLP
43
TITLE: Propositional Abduction with Implicit Hitting Sets PDF
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 22nd European Conference on Artificial Intelligence (ECAI) in ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 285
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 1
44
TITLE: Quantified maximum satisfiability  Full Text
AUTHORS: Ignatiev, A; Janota, M; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: CONSTRAINTS, VOLUME: 21, ISSUE: 2
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
45
TITLE: Reports of the 2016 AAAI Workshop Program
AUTHORS: 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; ...More
PUBLISHED: 2016, SOURCE: AI MAGAZINE, VOLUME: 37, ISSUE: 3
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
46
TITLE: Solving QBF with counterexample guided refinement  Full Text
AUTHORS: Janota, M; Klieber, W; Marques Silva, J ; Clarke, E;
PUBLISHED: 2016, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 234
INDEXED IN: Scopus WOS CrossRef Unpaywall
47
TITLE: Solving QBF with counterexample guided refinement
AUTHORS: Mikolás Janota; William Klieber; Joao Marques Silva ; Edmund M. Clarke;
PUBLISHED: 2016, SOURCE: Artif. Intell., VOLUME: 234
INDEXED IN: DBLP
IN MY: DBLP
48
TITLE: Algorithms for computing backbones of propositional formulae  Full Text
AUTHORS: Janota, M; Lynce, I ; Marques Sliva, J ;
PUBLISHED: 2015, SOURCE: AI COMMUNICATIONS, VOLUME: 28, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 26 Unpaywall
IN MY: DBLP
49
TITLE: Computing Maximal Autarkies with Few and Simple Oracle Queries
AUTHORS: Kullmann, O; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: DBLP
50
TITLE: Efficient Axiom Pinpointing with EL2MCS
AUTHORS: Arif, MF; Mencia, C; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 38th German Conference on Artificial Intelligence (AI) in KI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 9324
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: DBLP
Page 5 of 27. Total results: 266.

footer slogan

Useful Links

Get Help

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