Salvador Luís de Bethencourt Pinto de Abreu


AuthID: R-000-G4P

Confirmed Publications: 99



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: WOS DBLP CrossRef: 9
IN MY: DBLP
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
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
4
TITLE: Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search
AUTHORS: Camilo Correa; Jacques Robin; Raúl Mazo; Salvador Abreu ;
PUBLISHED: 2021, SOURCE: Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers, VOLUME: 13204
INDEXED IN: DBLP
IN MY: DBLP
5
TITLE: Intelligent Query Answering with Contextual Knowledge for Relational Databases
AUTHORS: Dietmar Seipel; Daniel Weidner; Salvador Abreu ;
PUBLISHED: 2021, SOURCE: 10th Symposium on Languages, Applications and Technologies, SLATE 2021 in 10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal., VOLUME: 94
INDEXED IN: Scopus DBLP
IN MY: DBLP
6
TITLE: Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics
AUTHORS: Jonathan Duque; Danny A Múnera; Daniel Diaz; Salvador Abreu ;
PUBLISHED: 2021, SOURCE: 4th International Conference on Optimization and Learning, OLA 2021 in Optimization and Learning - 4th International Conference, OLA 2021, Catania, Italy, June 21-23, 2021, Proceedings, VOLUME: 1443
INDEXED IN: Scopus DBLP
IN MY: DBLP
7
8
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
9
TITLE: A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
AUTHORS: Jacques Robin; Raúl Mazo; Henrique Madeira ; Raul Barbosa; Daniel Diaz; Salvador Abreu ;
PUBLISHED: 2019, SOURCE: Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, VOLUME: 11699
INDEXED IN: DBLP
IN MY: DBLP
10
TITLE: Alexa, How Can I Reason with Prolog?
AUTHORS: Falco Nogatz; Julia Kübert; Dietmar Seipel; Salvador Abreu ;
PUBLISHED: 2019, SOURCE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74
INDEXED IN: Scopus DBLP
IN MY: DBLP
Page 1 of 10. Total results: 99.

A place for researchers and their institutions

Useful Links

Get Help

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