Salvador Luís de Bethencourt Pinto de Abreu


AuthID: R-000-G4P

Publicações Confirmadas: 90



1
TÍTULO: Fifty Years of Prolog and Beyond
AUTORES: Koerner, Philipp; Leuschel, Michael; Barbosa, Joao ; Costa, Vitor Santos ; Dahl, Veronica; Hermenegildo, Manuel, V; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador ; Ciatto, Giovanni;
PUBLICAÇÃO: 2022, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef: 26
2
TÍTULO: Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search
AUTORES: Correa, Camilo; Robin, Jacques; Mazo, Raul; Abreu, Salvador ;
PUBLICAÇÃO: 2022, FONTE: 16th International Conference on Risks and Security of Internet and Systems (CRiSIS) in RISKS AND SECURITY OF INTERNET AND SYSTEMS (CRISIS 2021), VOLUME: 13204
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
3
TÍTULO: Quantum and Digital Annealing for the Quadratic Assignment Problem
AUTORES: Codognet, Philippe; Diaz, Daniel; Abreu, Salvador ;
PUBLICAÇÃO: 2022, FONTE: 1st IEEE International Conference On Quantum Software (IEEE QSW) / IEEE World Congress on Services (IEEE SERVICES) in 2022 IEEE INTERNATIONAL CONFERENCE ON QUANTUM SOFTWARE (IEEE QSW 2022)
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
4
TÍTULO: Intelligent Query Answering with Contextual Knowledge for Relational Databases
AUTORES: Dietmar Seipel; Daniel Weidner; Salvador Abreu ;
PUBLICAÇÃO: 2021, FONTE: SLATE, VOLUME: 94
INDEXADO EM: Scopus DBLP
5
TÍTULO: Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics
AUTORES: Jonathan Duque; Danny A Múnera; Daniel Diaz; Salvador Abreu ;
PUBLICAÇÃO: 2021, FONTE: OLA, VOLUME: 1443
INDEXADO EM: Scopus DBLP CrossRef: 4
6
7
TÍTULO: A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
AUTORES: Robin, J; Mazo, R; Madeira, H ; Barbosa, R; Diaz, D; Abreu, S ;
PUBLICAÇÃO: 2019, FONTE: SAFECOMP Conference / 7th ASSURE International Workshop / 14th DECSoS Workshop / 8th SASSUR International Workshop / 2nd STRIVE International Workshop / 2nd WAISE International Workshop in COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019, VOLUME: 11699
INDEXADO EM: Scopus WOS DBLP CrossRef
8
TÍTULO: Alexa, How Can I Reason with Prolog?
AUTORES: Falco Nogatz; Julia Kübert; Dietmar Seipel; Salvador Abreu ;
PUBLICAÇÃO: 2019, FONTE: SLATE, VOLUME: 74
INDEXADO EM: Scopus DBLP
9
TÍTULO: Definite Clause Grammars with Parse Trees: Extension for Prolog
AUTORES: Falco Nogatz; Dietmar Seipel; Salvador Abreu ;
PUBLICAÇÃO: 2019, FONTE: SLATE, VOLUME: 74
INDEXADO EM: Scopus DBLP
10
TÍTULO: Generating Local Search Neighborhood with Synthesized Logic Programs
AUTORES: Mateusz Slazynski; Salvador Abreu ; Grzegorz J Nalepa;
PUBLICAÇÃO: 2019, FONTE: ICLP Technical Communications, VOLUME: 306
INDEXADO EM: Scopus DBLP CrossRef
Página 1 de 9. Total de resultados: 90.

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

Links Úteis

Ajuda

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