João Paulo Marques da Silva


AuthID: R-000-J0P

Confirmed Publications: 271



21
TITLE: Cardinality Encodings for Graph Optimization Problems
AUTHORS: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
INDEXED IN: Scopus DBLP CrossRef: 1 Unpaywall
IN MY: DBLP
22
TITLE: Debugging EL+ Ontologies through Horn MUS Enumeration PDF
AUTHORS: Alexey Ignatiev; Joao Marques Silva ; Carlos Mencía; Rafael Peñaloza;
PUBLISHED: 2017, SOURCE: 30th International Workshop on Description Logics, DL 2017 in Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017., VOLUME: 1879
INDEXED IN: Scopus DBLP
IN MY: DBLP
23
TITLE: Efficient Certified Resolution Proof Checking
AUTHORS: Luís Cruz Filipe; Joao Marques Silva ; Peter Schneider Kamp;
PUBLISHED: 2017, SOURCE: Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I, VOLUME: 10205
INDEXED IN: DBLP
IN MY: DBLP
24
TITLE: Efficient Certified Resolution Proof Checking PDF
AUTHORS: Cruz Filipe, L; Marques Silva, J ; Schneider Kamp, P;
PUBLISHED: 2017, SOURCE: 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Held as Part of the 19th European Joint Conferences on Theory and Practice of Software (ETAPS) in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I, VOLUME: 10205
INDEXED IN: Scopus WOS DBLP arXiv Unpaywall
IN MY: DBLP
25
TITLE: Exact and Hybrid Solutions for the Multi-Objective VM Reassignment Problem  Full Text
AUTHORS: Saber, T; Marques Silva, J ; Thorburn, J; Ventresque, A;
PUBLISHED: 2017, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 26, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 8 Unpaywall
IN MY: DBLP
26
TITLE: Horn Maximum Satisfiability: Reductions, Algorithms and Applications PDF
AUTHORS: Marques Silva, J ; Ignatiev, A; Morgado, António ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 3 Unpaywall
IN MY: DBLP
27
TITLE: Horn Maximum Satisfiability: Reductions, Algorithms and Applications
AUTHORS: Joao Marques Silva ; Alexey Ignatiev; Morgado, António ;
PUBLISHED: 2017, SOURCE: Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings, VOLUME: 10423
INDEXED IN: DBLP
IN MY: DBLP
28
TITLE: Improving MCS Enumeration via Caching
AUTHORS: Previti, A; Mencia, C; Jarvisalo, M; 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: 5 Unpaywall
IN MY: DBLP
29
TITLE: Lean Kernels in Description Logics
AUTHORS: Rafael Peñaloza; Carlos Mencía; Alexey Ignatiev; Joao Marques Silva ;
PUBLISHED: 2017, SOURCE: 14th Extended Semantic Web Conference, ESWC 2017 in The Semantic Web - 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 - June 1, 2017, Proceedings, Part I, VOLUME: 10249
INDEXED IN: Scopus DBLP CrossRef: 7 Unpaywall
IN MY: DBLP
30
TITLE: Minimal sets on propositional formulae. Problems and reductions
AUTHORS: Joao Marques Silva ; Mikolás Janota; Carlos Mencía;
PUBLISHED: 2017, SOURCE: Artif. Intell., VOLUME: 252
INDEXED IN: DBLP
IN MY: DBLP
Page 3 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