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