21
TÍTULO: Cardinality Encodings for Graph Optimization Problems
AUTORES: Alexey Ignatiev; Morgado, António ; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017
INDEXADO EM: Scopus DBLP CrossRef: 1 Unpaywall
NO MEU: DBLP
22
TÍTULO: Debugging EL+ Ontologies through Horn MUS Enumeration PDF
AUTORES: Alexey Ignatiev; Joao Marques Silva ; Carlos Mencía; Rafael Peñaloza;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
23
TÍTULO: Efficient Certified Resolution Proof Checking
AUTORES: Luís Cruz Filipe; Joao Marques Silva ; Peter Schneider Kamp;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: DBLP
NO MEU: DBLP
24
TÍTULO: Efficient Certified Resolution Proof Checking PDF
AUTORES: Cruz Filipe, L; Marques Silva, J ; Schneider Kamp, P;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: Scopus WOS DBLP arXiv Unpaywall
NO MEU: DBLP
25
TÍTULO: Exact and Hybrid Solutions for the Multi-Objective VM Reassignment Problem  Full Text
AUTORES: Saber, T; Marques Silva, J ; Thorburn, J; Ventresque, A;
PUBLICAÇÃO: 2017, FONTE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 26, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 8 Unpaywall
NO MEU: DBLP
26
TÍTULO: Horn Maximum Satisfiability: Reductions, Algorithms and Applications
AUTORES: Joao Marques Silva ; Alexey Ignatiev; Morgado, António ;
PUBLICAÇÃO: 2017, FONTE: Progress in Artificial Intelligence - 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings, VOLUME: 10423
INDEXADO EM: DBLP
NO MEU: DBLP
27
TÍTULO: Horn Maximum Satisfiability: Reductions, Algorithms and Applications PDF
AUTORES: Marques Silva, J ; Ignatiev, A; Morgado, António ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 3 Unpaywall
NO MEU: DBLP
28
TÍTULO: Improving MCS Enumeration via Caching
AUTORES: Previti, A; Mencia, C; Jarvisalo, M; 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: 5 Unpaywall
NO MEU: DBLP
29
TÍTULO: Lean Kernels in Description Logics
AUTORES: Rafael Peñaloza; Carlos Mencía; Alexey Ignatiev; Joao Marques Silva ;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 7 Unpaywall
NO MEU: DBLP
30
TÍTULO: Minimal sets on propositional formulae. Problems and reductions
AUTORES: Joao Marques Silva ; Mikolás Janota; Carlos Mencía;
PUBLICAÇÃO: 2017, FONTE: Artif. Intell., VOLUME: 252
INDEXADO EM: DBLP
NO MEU: DBLP
Página 3 de 28. Total de resultados: 271.