João Paulo Marques da Silva
AuthID: R-000-J0P
51
TITLE: On Minimal corrections in ASP
AUTHORS: Mikoláš Janota; Joao Marques Silva;
PUBLISHED: 2017, SOURCE: CEUR Workshop Proceedings, VOLUME: 2011
AUTHORS: Mikoláš Janota; Joao Marques Silva;
PUBLISHED: 2017, SOURCE: CEUR Workshop Proceedings, VOLUME: 2011
INDEXED IN: 
Scopus
Scopus52
TITLE: Efficient Certified Resolution Proof Checking
AUTHORS: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLISHED: 2017, SOURCE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
AUTHORS: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLISHED: 2017, SOURCE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
53
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
WOS54
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
WOS55
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
Scopus56
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
Unpaywall57
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
58
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
CrossRef59
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
Unpaywall60
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
DBLP