João Paulo Marques da Silva
AuthID: R-000-J0P
51
TÃTULO: Preface: The beyond NP workshop
AUTORES: Adnan Darwiche; Joao Marques Silva; Pierre Marquis;
PUBLICAÇÃO: 2016, FONTE: AAAI Workshop - Technical Report, VOLUME: WS-16-01 - WS-16-15
AUTORES: Adnan Darwiche; Joao Marques Silva; Pierre Marquis;
PUBLICAÇÃO: 2016, FONTE: AAAI Workshop - Technical Report, VOLUME: WS-16-01 - WS-16-15
INDEXADO EM: 
Scopus
Scopus52
TÃTULO: BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies
AUTORES: M. Fareed Arif; Carlos Mencía; Alexey Ignatiev; Norbert Manthey; Rafael Peñaloza; Joao Marques Silva;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science
AUTORES: M. Fareed Arif; Carlos Mencía; Alexey Ignatiev; Norbert Manthey; Rafael Peñaloza; Joao Marques Silva;
PUBLICAÇÃO: 2016, FONTE: Lecture Notes in Computer Science
INDEXADO EM: 
Unpaywall
Unpaywall53
TÃTULO: Efficient Reasoning for Inconsistent Horn Formulae
AUTORES: Joao Marques-Silva; Alexey Ignatiev; Carlos Mencía; Rafael Peñaloza;
PUBLICAÇÃO: 2016, FONTE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
AUTORES: Joao Marques-Silva; Alexey Ignatiev; Carlos Mencía; Rafael Peñaloza;
PUBLICAÇÃO: 2016, FONTE: Logics in Artificial Intelligence - Lecture Notes in Computer Science
54
TÃTULO: SAT-Based Formula Simplification
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques-Silva;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing -- SAT 2015
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques-Silva;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing -- SAT 2015
INDEXADO EM: 
CrossRef
CrossRef55
TÃTULO: SAT-Based Formula Simplification
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: Theory and Applications of Satisfiability Testing -- SAT 2015
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: Theory and Applications of Satisfiability Testing -- SAT 2015
INDEXADO EM: Unpaywall
Unpaywall56
TÃTULO: Computing maximal autarkies with few and simple oracle queries PDF
AUTORES: Oliver Kullmann; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.02371
AUTORES: Oliver Kullmann; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.02371
INDEXADO EM: 
DBLP 
arXiv
DBLP arXiv NO MEU: DBLP
DBLP57
TÃTULO: Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing PDF
AUTORES: Fareed F Arif; Carlos Mencía; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.04365
AUTORES: Fareed F Arif; Carlos Mencía; Joao Marques Silva;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.04365
INDEXADO EM: DBLP arXiv
DBLP arXiv NO MEU: DBLP
DBLP58
TÃTULO: On Computing Preferred MUSes and MCSes
AUTORES: Joao Marques-Silva; Alessandro Previti;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing – SAT 2014
AUTORES: Joao Marques-Silva; Alessandro Previti;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science - Theory and Applications of Satisfiability Testing – SAT 2014
INDEXADO EM: CrossRef
CrossRef59
TÃTULO: On the implementation of weak constraints in WASP (Preliminary report)
AUTORES: Mario Alviano; Carmine Dodaro; Joao Marques Silva; Francesco Ricca;
PUBLICAÇÃO: 2014, FONTE: Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014
AUTORES: Mario Alviano; Carmine Dodaro; Joao Marques Silva; Francesco Ricca;
PUBLICAÇÃO: 2014, FONTE: Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2014
INDEXADO EM: Scopus
Scopus60
TÃTULO: Quantified Maximum Satisfiability:
AUTORES: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
AUTORES: Alexey Ignatiev; Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science
INDEXADO EM: Unpaywall
Unpaywall