João Paulo Marques da Silva
AuthID: R-000-J0P
51
TITLE: Lean Kernels in Description Logics
AUTHORS: Penaloza, R; Mencia, C; Ignatiev, A; Marques Silva, J;
PUBLISHED: 2017, SOURCE: SEMANTIC WEB ( ESWC 2017), PT I, VOLUME: 10249
AUTHORS: Penaloza, R; Mencia, C; Ignatiev, A; Marques Silva, J;
PUBLISHED: 2017, SOURCE: SEMANTIC WEB ( ESWC 2017), PT I, VOLUME: 10249
INDEXED IN: 
WOS
WOS52
TITLE: MCS Extraction with Sublinear Oracle Queries
AUTHORS: Carlos Mencia; Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLISHED: 2016, SOURCE: 19th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
AUTHORS: Carlos Mencia; Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLISHED: 2016, SOURCE: 19th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
INDEXED IN: WOS
WOS53
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
Scopus54
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
Unpaywall55
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
56
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
CrossRef57
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
Unpaywall58
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
DBLP59
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
DBLP60
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
CrossRef