João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



31
TITLE: Minimal sets on propositional formulae. Problems and reductions PDF  Full Text
AUTHORS: João Marques Silva ; Mikolás Janota;
PUBLISHED: 2017, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 252
INDEXED IN: Scopus WOS DBLP arXiv CrossRef Unpaywall
IN MY: DBLP
32
TITLE: Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets PDF
AUTHORS: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1707.01972
INDEXED IN: DBLP arXiv
IN MY: DBLP
33
TITLE: On Computing Generalized Backbones
AUTHORS: Previti, A; Ignatiev, A; Jarvisalo, M; Marques Silva, J ;
PUBLISHED: 2017, SOURCE: 2017 IEEE 29TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2017), VOLUME: 2017-November
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
IN MY: DBLP
34
TITLE: On Minimal Corrections in ASP PDF
AUTHORS: Mikolás Janota; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: DBLP
IN MY: DBLP
35
TITLE: On Tackling the Limits of Resolution in SAT Solving
AUTHORS: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, VOLUME: 10491
INDEXED IN: DBLP
IN MY: DBLP
36
TITLE: On Tackling the Limits of Resolution in SAT Solving
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2017, SOURCE: 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017 in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING (SAT 2017), VOLUME: 10491
INDEXED IN: Scopus WOS CrossRef: 12 Unpaywall
37
TITLE: BEACON: An Efficient SAT-Based Tool for Debugging epsilon L+ Ontologies
AUTHORS: Fareed F Arif; Carlos Mencia; Alexey Ignatiev; Norbert Manthey; Rafael Penaloza; 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: Scopus WOS DBLP CrossRef: 18
IN MY: DBLP
38
TITLE: Efficient Reasoning for Inconsistent Horn Formulae
AUTHORS: Marques Silva, J ; Ignatiev, A; Mencia, C; Penaloza, R;
PUBLISHED: 2016, SOURCE: 15th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, (JELIA 2016), VOLUME: 10021
INDEXED IN: Scopus WOS DBLP Unpaywall
IN MY: DBLP
39
TITLE: Fast, flexible MUS enumeration  Full Text
AUTHORS: Liffiton, MH; Previti, A; Malik, A; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: CONSTRAINTS, VOLUME: 21, ISSUE: 2
INDEXED IN: WOS DBLP
IN MY: DBLP
40
TITLE: Fast, flexible MUS enumeration  Full Text
AUTHORS: Liffiton, MH; Previti, A; Malik, A; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: Constraints, VOLUME: 21, ISSUE: 2
INDEXED IN: Scopus CrossRef Unpaywall
Page 4 of 28. Total results: 271.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service