João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



41
TITLE: Maximal falsifiability. Definitions, algorithms and applications  Full Text
AUTHORS: Ignatiev, A; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 21st International Workshop of the Rappresentazione-della-Conoscenza-e-Ragionamento-Automatico (RCRA) in AI COMMUNICATIONS, VOLUME: 29, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
IN MY: DBLP
42
TITLE: MCS Extraction with Sublinear Oracle Queries
AUTHORS: Carlos Mencía; Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2016, SOURCE: 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016 in Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings, VOLUME: 9710
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: DBLP
43
TITLE: On Finding Minimum Satisfying Assignments
AUTHORS: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: DBLP
44
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
45
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
46
TITLE: Propositional Abduction with Implicit Hitting Sets
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
IN MY: DBLP
47
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
48
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
49
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
50
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
Page 5 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