João Paulo Marques da Silva


AuthID: R-000-J0P

Publicações Confirmadas: 271



31
TÍTULO: Minimal sets on propositional formulae. Problems and reductions PDF  Full Text
AUTORES: João Marques Silva ; Mikolás Janota;
PUBLICAÇÃO: 2017, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 252
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef Unpaywall
NO MEU: ORCID | DBLP
32
TÍTULO: Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets PDF
AUTORES: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1707.01972
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
33
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
34
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
35
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 CrossRef: 12 Unpaywall
36
TÍTULO: On Tackling the Limits of Resolution in SAT Solving
AUTORES: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, VOLUME: 10491
INDEXADO EM: DBLP
NO MEU: DBLP
37
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
38
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
39
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
40
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
Página 4 de 28. Total de resultados: 271.

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

Links Úteis

Ajuda

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