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: WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP
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 CrossRef: 2
NO MEU: ORCID
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 CrossRef: 4
NO MEU: ORCID
4
TÍTULO: Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search
AUTORES: Camilo Correa; Jacques Robin; Raúl Mazo; Salvador Abreu ;
PUBLICAÇÃO: 2021, FONTE: 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
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÍTULO: Intelligent Query Answering with Contextual Knowledge for Relational Databases
AUTORES: Dietmar Seipel; Daniel Weidner; Salvador Abreu ;
PUBLICAÇÃO: 2021, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
6
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: 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
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
8
TÍTULO: A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence
AUTORES: Jacques Robin; Raúl Mazo; Henrique Madeira ; Raul Barbosa; Daniel Diaz; Salvador Abreu ;
PUBLICAÇÃO: 2019, FONTE: Computer Safety, Reliability, and Security - SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019, Proceedings, VOLUME: 11699
INDEXADO EM: DBLP
NO MEU: DBLP
9
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 CrossRef
NO MEU: ORCID
10
TÍTULO: Alexa, How Can I Reason with Prolog?
AUTORES: Falco Nogatz; Julia Kübert; Dietmar Seipel; Salvador Abreu ;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
Página 1 de 10. Total de resultados: 99.