João Paulo Marques da Silva
AuthID: R-000-J0P
51
TÃTULO: Formally Verifying the Solution to the Boolean Pythagorean Triples Problem Full Text
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2018, FONTE: Journal of Automated Reasoning, VOLUME: 63, NÚMERO: 3
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2018, FONTE: Journal of Automated Reasoning, VOLUME: 63, NÚMERO: 3
52
TÃTULO: The boolean pythagorean triples problem in coq
AUTORES: Cruz Filipe, L; Marques Silva, J; Schneider Kamp, P;
PUBLICAÇÃO: 2017, FONTE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
AUTORES: Cruz Filipe, L; Marques Silva, J; Schneider Kamp, P;
PUBLICAÇÃO: 2017, FONTE: 23rd International Conference on Types for Proofs and Programs, TYPES 2017 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 104
INDEXADO EM: 
Scopus
Scopus53
TÃTULO: On Minimal corrections in ASP
AUTORES: Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2017, FONTE: CEUR Workshop Proceedings, VOLUME: 2011
AUTORES: Mikoláš Janota; Joao Marques Silva;
PUBLICAÇÃO: 2017, FONTE: CEUR Workshop Proceedings, VOLUME: 2011
INDEXADO EM: Scopus
Scopus54
TÃTULO: Efficient Certified Resolution Proof Checking
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2017, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
AUTORES: Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp;
PUBLICAÇÃO: 2017, FONTE: Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science
55
TÃTULO: Lean Kernels in Description Logics
AUTORES: Penaloza, R; Mencia, C; Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2017, FONTE: SEMANTIC WEB ( ESWC 2017), PT I, VOLUME: 10249
AUTORES: Penaloza, R; Mencia, C; Ignatiev, A; Marques Silva, J;
PUBLICAÇÃO: 2017, FONTE: SEMANTIC WEB ( ESWC 2017), PT I, VOLUME: 10249
INDEXADO EM: 
WOS
WOS56
TÃTULO: MCS Extraction with Sublinear Oracle Queries
AUTORES: Carlos Mencia; Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLICAÇÃO: 2016, FONTE: 19th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
AUTORES: Carlos Mencia; Alexey Ignatiev; Alessandro Previti; Joao Marques Silva;
PUBLICAÇÃO: 2016, FONTE: 19th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2016, VOLUME: 9710
INDEXADO EM: WOS
WOS57
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
Scopus58
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
Unpaywall59
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
60
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
CrossRef