Salvador Luís de Bethencourt Pinto de Abreu
AuthID: R-000-G4P
1
TITLE: A Logic-Based Model to Reduce IoT Security Risks
AUTHORS: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLISHED: 2024, SOURCE: Proceedings of the 16th International Conference on Agents and Artificial Intelligence, ICAART 2024, Volume 3, Rome, Italy, February 24-26, 2024.
AUTHORS: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLISHED: 2024, SOURCE: Proceedings of the 16th International Conference on Agents and Artificial Intelligence, ICAART 2024, Volume 3, Rome, Italy, February 24-26, 2024.
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP2
TITLE: Teaching Prolog with Active Logic Documents
AUTHORS: José F Morales; Salvador Abreu; Daniela Ferreiro; Manuel V Hermenegildo;
PUBLISHED: 2023, SOURCE: Prolog: The Next 50 Years, VOLUME: 13900
AUTHORS: José F Morales; Salvador Abreu; Daniela Ferreiro; Manuel V Hermenegildo;
PUBLISHED: 2023, SOURCE: Prolog: The Next 50 Years, VOLUME: 13900
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: Combining IoT Risk Management with Logic Programming; [Combinando Gestão de Riscos em IoT com Programação em Lógica]
AUTHORS: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLISHED: 2023, SOURCE: 18th Iberian Conference on Information Systems and Technologies, CISTI 2023 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2023-June
AUTHORS: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLISHED: 2023, SOURCE: 18th Iberian Conference on Information Systems and Technologies, CISTI 2023 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2023-June
INDEXED IN: 
Scopus
Scopus4
TITLE: Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge
AUTHORS: Dietmar Seipel; Benjamin Förster; Magnus Liebl; Marcel Waleska; Salvador Abreu;
PUBLISHED: 2023, SOURCE: 12th Symposium on Languages, Applications and Technologies, SLATE 2023 in OpenAccess Series in Informatics, VOLUME: 113
AUTHORS: Dietmar Seipel; Benjamin Förster; Magnus Liebl; Marcel Waleska; Salvador Abreu;
PUBLISHED: 2023, SOURCE: 12th Symposium on Languages, Applications and Technologies, SLATE 2023 in OpenAccess Series in Informatics, VOLUME: 113
INDEXED IN: Scopus
Scopus5
TITLE: Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge
AUTHORS: Dietmar Seipel; Benjamin Förster; Magnus Liebl; Marcel Waleska; Salvador Abreu;
PUBLISHED: 2023, SOURCE: 12th Symposium on Languages, Applications and Technologies, SLATE 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 113
AUTHORS: Dietmar Seipel; Benjamin Förster; Magnus Liebl; Marcel Waleska; Salvador Abreu;
PUBLISHED: 2023, SOURCE: 12th Symposium on Languages, Applications and Technologies, SLATE 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 113
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP6
TITLE: Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials
AUTHORS: Daniela Ferreiro; José F Morales; Salvador Abreu; Manuel V Hermenegildo;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2308.15896
AUTHORS: Daniela Ferreiro; José F Morales; Salvador Abreu; Manuel V Hermenegildo;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2308.15896
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP7
TITLE: Multi-objective Finite-Domain Constraint-Based Forest Management
AUTHORS: Eduardo Eloy; Vladimir Bushenkov; Salvador Abreu;
PUBLISHED: 2023, SOURCE: 22nd Congress of the Portuguese Association of Operational Research, APDIO 2022 in Springer Proceedings in Mathematics and Statistics, VOLUME: 437
AUTHORS: Eduardo Eloy; Vladimir Bushenkov; Salvador Abreu;
PUBLISHED: 2023, SOURCE: 22nd Congress of the Portuguese Association of Operational Research, APDIO 2022 in Springer Proceedings in Mathematics and Statistics, VOLUME: 437
INDEXED IN: Scopus
Scopus8
TITLE: Constraint Modeling for Forest Management
AUTHORS: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador;
PUBLISHED: 2022, SOURCE: International Conference on Dynamical Control and Optimization(DCO) in DYNAMIC CONTROL AND OPTIMIZATION, DCO 2021, VOLUME: 407
AUTHORS: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador;
PUBLISHED: 2022, SOURCE: International Conference on Dynamical Control and Optimization(DCO) in DYNAMIC CONTROL AND OPTIMIZATION, DCO 2021, VOLUME: 407
INDEXED IN: Scopus 
WOS
Scopus WOS9
TITLE: Quantum and Digital Annealing for the Quadratic Assignment Problem
AUTHORS: Philippe Codognet; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2022, SOURCE: IEEE International Conference on Quantum Software, QSW 2022, Barcelona, Spain, July 10-16, 2022
AUTHORS: Philippe Codognet; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2022, SOURCE: IEEE International Conference on Quantum Software, QSW 2022, Barcelona, Spain, July 10-16, 2022
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP10
TITLE: Fifty Years of Prolog and Beyond
AUTHORS: Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa ; Verónica Dahl; Manuel V Hermenegildo; José F Morales; Jan Wielemaker; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2022, SOURCE: Theory Pract. Log. Program., VOLUME: 22, ISSUE: 6
AUTHORS: Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa ; Verónica Dahl; Manuel V Hermenegildo; José F Morales; Jan Wielemaker; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2022, SOURCE: Theory Pract. Log. Program., VOLUME: 22, ISSUE: 6
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP