Salvador Luís de Bethencourt Pinto de Abreu


AuthID: R-000-G4P

Confirmed Publications: 90



1
TITLE: Fifty Years of Prolog and Beyond
AUTHORS: 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;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 26
2
TITLE: Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search
AUTHORS: Correa, Camilo; Robin, Jacques; Mazo, Raul; Abreu, Salvador ;
PUBLISHED: 2022, SOURCE: 16th International Conference on Risks and Security of Internet and Systems (CRiSIS) in RISKS AND SECURITY OF INTERNET AND SYSTEMS (CRISIS 2021), VOLUME: 13204
INDEXED IN: Scopus WOS DBLP CrossRef: 2
3
TITLE: Quantum and Digital Annealing for the Quadratic Assignment Problem
AUTHORS: Codognet, Philippe; Diaz, Daniel; Abreu, Salvador ;
PUBLISHED: 2022, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
4
TITLE: Intelligent Query Answering with Contextual Knowledge for Relational Databases
AUTHORS: Dietmar Seipel; Daniel Weidner; Salvador Abreu ;
PUBLISHED: 2021, SOURCE: SLATE, VOLUME: 94
INDEXED IN: Scopus DBLP
5
TITLE: Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics
AUTHORS: Jonathan Duque; Danny A Múnera; Daniel Diaz; Salvador Abreu ;
PUBLISHED: 2021, SOURCE: OLA, VOLUME: 1443
INDEXED IN: Scopus DBLP CrossRef: 4
6
7
TITLE: A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
AUTHORS: Robin, J; Mazo, R; Madeira, H ; Barbosa, R; Diaz, D; Abreu, S ;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
8
TITLE: Alexa, How Can I Reason with Prolog?
AUTHORS: Falco Nogatz; Julia Kübert; Dietmar Seipel; Salvador Abreu ;
PUBLISHED: 2019, SOURCE: SLATE, VOLUME: 74
INDEXED IN: Scopus DBLP
9
TITLE: Definite Clause Grammars with Parse Trees: Extension for Prolog
AUTHORS: Falco Nogatz; Dietmar Seipel; Salvador Abreu ;
PUBLISHED: 2019, SOURCE: SLATE, VOLUME: 74
INDEXED IN: Scopus DBLP
10
TITLE: Generating Local Search Neighborhood with Synthesized Logic Programs
AUTHORS: Mateusz Slazynski; Salvador Abreu ; Grzegorz J Nalepa;
PUBLISHED: 2019, SOURCE: ICLP Technical Communications, VOLUME: 306
INDEXED IN: Scopus DBLP CrossRef
Page 1 of 9. Total results: 90.

footer slogan

Useful Links

Get Help

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