João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 266



31
TÍTULO: On Computing Generalized Backbones
AUTORES: Previti, A; Ignatiev, A; Jarvisalo, M; Marques Silva, J ;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE 29TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2017), VOLUME: 2017-November
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall
NO MEU: DBLP
32
TÍTULO: On Minimal Corrections in ASP PDF
AUTORES: Mikolás Janota; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), Bari, Italy, November 14-15, 2017., VOLUME: 2011
INDEXADO EM: DBLP
NO MEU: DBLP
33
TÍTULO: On Tackling the Limits of Resolution in SAT Solving
AUTORES: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2017, FONTE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
INDEXADO EM: Scopus WOS DBLP CrossRef: 12 Unpaywall
34
TÍTULO: BEACON: An Efficient SAT-Based Tool for Debugging epsilon L+ Ontologies
AUTORES: Fareed F Arif; Carlos Mencia; Alexey Ignatiev; Norbert Manthey; Rafael Penaloza; 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: Scopus WOS DBLP CrossRef: 18
NO MEU: DBLP
35
TÍTULO: Efficient Reasoning for Inconsistent Horn Formulae
AUTORES: Marques Silva, J ; Ignatiev, A; Mencia, C; Penaloza, R;
PUBLICAÇÃO: 2016, FONTE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
INDEXADO EM: Scopus WOS DBLP Unpaywall
NO MEU: DBLP
36
TÍTULO: Fast, flexible MUS enumeration  Full Text
AUTORES: Liffiton, MH; Previti, A; Malik, A; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: CONSTRAINTS, VOLUME: 21, NÚMERO: 2
INDEXADO EM: WOS DBLP
NO MEU: DBLP
37
TÍTULO: Fast, flexible MUS enumeration  Full Text
AUTORES: Liffiton, MH; Previti, A; Malik, A; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: Constraints, VOLUME: 21, NÚMERO: 2
INDEXADO EM: Scopus CrossRef Unpaywall
38
TÍTULO: Maximal falsifiability. Definitions, algorithms and applications  Full Text
AUTORES: Ignatiev, A; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: 21st International Workshop of the Rappresentazione-della-Conoscenza-e-Ragionamento-Automatico (RCRA) in AI COMMUNICATIONS, VOLUME: 29, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall
39
TÍTULO: MCS Extraction with Sublinear Oracle Queries
AUTORES: Carlos Mencía; Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLICAÇÃO: 2016, FONTE: 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016 in Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings, VOLUME: 9710
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
NO MEU: DBLP
40
TÍTULO: On Finding Minimum Satisfying Assignments
AUTORES: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLICAÇÃO: 2016, FONTE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP
Página 4 de 27. Total de resultados: 266.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service