João Paulo Marques da Silva
AuthID: R-000-J0P
41
TITLE: The boolean pythagorean triples problem in coq
AUTHORS: Cruz Filipe, L; Marques Silva, J; Schneider Kamp, P;
PUBLISHED: 2017, SOURCE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
AUTHORS: Cruz Filipe, L; Marques Silva, J; Schneider Kamp, P;
PUBLISHED: 2017, SOURCE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
INDEXED IN: 
Scopus
Scopus42
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
Scopus43
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
44
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
WOS45
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
WOS46
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
Scopus47
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
Unpaywall48
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
49
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
CrossRef50
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
Unpaywall