João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 266



31
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
32
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
33
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 DBLP CrossRef: 12 Unpaywall
34
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
35
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
36
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
37
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
38
TITLE: Maximal falsifiability. Definitions, algorithms and applications  Full Text
AUTHORS: Ignatiev, A; Morgado, António ; Planes, J; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 21st International Workshop of the Rappresentazione-della-Conoscenza-e-Ragionamento-Automatico (RCRA) in AI COMMUNICATIONS, VOLUME: 29, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Unpaywall
39
TITLE: MCS Extraction with Sublinear Oracle Queries
AUTHORS: Carlos Mencía; Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
IN MY: DBLP
40
TITLE: On Finding Minimum Satisfying Assignments
AUTHORS: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLISHED: 2016, SOURCE: 22nd International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, VOLUME: 9892
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: DBLP
Page 4 of 27. Total results: 266.

footer slogan

Useful Links

Get Help

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