Salvador Luís de Bethencourt Pinto de Abreu
AuthID: R-000-G4P
1
TÃTULO: An Algebraic Approach to Weighted Answer-set Programming
AUTORES: Francisco Coelho; Bruno Dinis; Dietmar Seipel; Salvador Abreu;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2503.20849
AUTORES: Francisco Coelho; Bruno Dinis; Dietmar Seipel; Salvador Abreu;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2503.20849
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP2
TÃTULO: Elements for Weighted Answer-Set Programming
AUTORES: Francisco Coelho; Bruno Dinis; Dietmar Seipel; Salvador Abreu;
PUBLICAÇÃO: 2025, FONTE: 14th Symposium on Languages, Applications and Technologies, SLATE 2025 in 14th Symposium on Languages, Applications and Technologies, SLATE 2025, June 26-27, 2025, Faro, Portugal, VOLUME: 135
AUTORES: Francisco Coelho; Bruno Dinis; Dietmar Seipel; Salvador Abreu;
PUBLICAÇÃO: 2025, FONTE: 14th Symposium on Languages, Applications and Technologies, SLATE 2025 in 14th Symposium on Languages, Applications and Technologies, SLATE 2025, June 26-27, 2025, Faro, Portugal, VOLUME: 135
INDEXADO EM: 
Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP3
TÃTULO: An Architecture for Composite Combinatorial Optimization Solvers
AUTORES: Khalil Chrit; Jean François Baffier; Pedro Patinho; Salvador Abreu;
PUBLICAÇÃO: 2025, FONTE: 14th Symposium on Languages, Applications and Technologies, SLATE 2025 in 14th Symposium on Languages, Applications and Technologies, SLATE 2025, June 26-27, 2025, Faro, Portugal, VOLUME: 135
AUTORES: Khalil Chrit; Jean François Baffier; Pedro Patinho; Salvador Abreu;
PUBLICAÇÃO: 2025, FONTE: 14th Symposium on Languages, Applications and Technologies, SLATE 2025 in 14th Symposium on Languages, Applications and Technologies, SLATE 2025, June 26-27, 2025, Faro, Portugal, VOLUME: 135
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP4
TÃTULO: A Logic-Based Model to Reduce IoT Security Risks
AUTORES: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 16th International Conference on Agents and Artificial Intelligence, ICAART 2024, Volume 3, Rome, Italy, February 24-26, 2024.
AUTORES: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 16th International Conference on Agents and Artificial Intelligence, ICAART 2024, Volume 3, Rome, Italy, February 24-26, 2024.
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP5
TÃTULO: A Model to Manage Security Risks in IoT Systems
AUTORES: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLICAÇÃO: 2024, FONTE: 16th International Conference on Agents and Artificial Intelligence, ICAART 2024 in Agents and Artificial Intelligence - 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II, VOLUME: 15592
AUTORES: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLICAÇÃO: 2024, FONTE: 16th International Conference on Agents and Artificial Intelligence, ICAART 2024 in Agents and Artificial Intelligence - 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II, VOLUME: 15592
6
TÃTULO: Teaching Prolog with Active Logic Documents
AUTORES: José F Morales; Salvador Abreu; Daniela Ferreiro; Manuel V Hermenegildo;
PUBLICAÇÃO: 2023, FONTE: Prolog: The Next 50 Years, VOLUME: 13900
AUTORES: José F Morales; Salvador Abreu; Daniela Ferreiro; Manuel V Hermenegildo;
PUBLICAÇÃO: 2023, FONTE: Prolog: The Next 50 Years, VOLUME: 13900
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP7
TÃTULO: Combining IoT Risk Management with Logic Programming; [Combinando Gestão de Riscos em IoT com Programação em Lógica]
AUTORES: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLICAÇÃO: 2023, FONTE: 18th Iberian Conference on Information Systems and Technologies, CISTI 2023 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2023-June
AUTORES: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLICAÇÃO: 2023, FONTE: 18th Iberian Conference on Information Systems and Technologies, CISTI 2023 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2023-June
INDEXADO EM: Scopus
Scopus8
TÃTULO: Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge
AUTORES: Dietmar Seipel; Benjamin Förster; Magnus Liebl; Marcel Waleska; Salvador Abreu;
PUBLICAÇÃO: 2023, FONTE: 12th Symposium on Languages, Applications and Technologies, SLATE 2023 in OpenAccess Series in Informatics, VOLUME: 113
AUTORES: Dietmar Seipel; Benjamin Förster; Magnus Liebl; Marcel Waleska; Salvador Abreu;
PUBLICAÇÃO: 2023, FONTE: 12th Symposium on Languages, Applications and Technologies, SLATE 2023 in OpenAccess Series in Informatics, VOLUME: 113
INDEXADO EM: Scopus
Scopus9
TÃTULO: Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge
AUTORES: Dietmar Seipel; Benjamin Förster; Magnus Liebl; Marcel Waleska; Salvador Abreu;
PUBLICAÇÃO: 2023, FONTE: 12th Symposium on Languages, Applications and Technologies, SLATE 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 113
AUTORES: Dietmar Seipel; Benjamin Förster; Magnus Liebl; Marcel Waleska; Salvador Abreu;
PUBLICAÇÃO: 2023, FONTE: 12th Symposium on Languages, Applications and Technologies, SLATE 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 113
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP10
TÃTULO: Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials
AUTORES: Daniela Ferreiro; José F Morales; Salvador Abreu; Manuel V Hermenegildo;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2308.15896
AUTORES: Daniela Ferreiro; José F Morales; Salvador Abreu; Manuel V Hermenegildo;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2308.15896
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP