Salvador Luís de Bethencourt Pinto de Abreu
AuthID: R-000-G4P
11
TÃTULO: Fifty Years of Prolog and Beyond
AUTORES: 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;
PUBLICAÇÃO: 2022, FONTE: Theory Pract. Log. Program., VOLUME: 22, NÚMERO: 6
AUTORES: 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;
PUBLICAÇÃO: 2022, FONTE: Theory Pract. Log. Program., VOLUME: 22, NÚMERO: 6
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP12
TÃTULO: Preface
AUTORES: Hofstedt, P; Abreu, S; John, U; Kuchen, H; Seipel, D;
PUBLICAÇÃO: 2020, FONTE: 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic Programming, WFLP 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12057 LNAI
AUTORES: Hofstedt, P; Abreu, S; John, U; Kuchen, H; Seipel, D;
PUBLICAÇÃO: 2020, FONTE: 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic Programming, WFLP 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12057 LNAI
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID13
TÃTULO: Declarative Programming and Knowledge Management. Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers
AUTORES: Petra Hofstedt; Salvador Abreu; Ulrich John; Herbert Kuchen; Dietmar Seipel;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science
AUTORES: Petra Hofstedt; Salvador Abreu; Ulrich John; Herbert Kuchen; Dietmar Seipel;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science
14
TÃTULO: Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure
AUTORES: Ślażyński, M; Abreu, S; Nalepa, GJ;
PUBLICAÇÃO: 2019, FONTE: 2019 Genetic and Evolutionary Computation Conference, GECCO 2019 in GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion
AUTORES: Ślażyński, M; Abreu, S; Nalepa, GJ;
PUBLICAÇÃO: 2019, FONTE: 2019 Genetic and Evolutionary Computation Conference, GECCO 2019 in GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion
15
TÃTULO: Constraint-Informed Information Systems in Space Management Utilization
AUTORES: Irene Rodrigues; Rui Quaresma; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2016
AUTORES: Irene Rodrigues; Rui Quaresma; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2016
INDEXADO EM: 
Handle
Handle16
TÃTULO: Artificial intelligence for the detection of AOX functional markers
AUTORES: Quaresma, P ; Gonçalves, T ; Abreu, S; Costa, JH; Mashayekhi, K; Arnholdt Schmitt, B; Svensson, JT;
PUBLICAÇÃO: 2015, FONTE: Alternative Respiratory Pathways in Higher Plants
AUTORES: Quaresma, P ; Gonçalves, T ; Abreu, S; Costa, JH; Mashayekhi, K; Arnholdt Schmitt, B; Svensson, JT;
PUBLICAÇÃO: 2015, FONTE: Alternative Respiratory Pathways in Higher Plants
INDEXADO EM: Scopus Handle
Scopus Handle NO MEU: ORCID
ORCID17
TÃTULO: Artificial intelligence for the detection ofAOXfunctional markers
AUTORES: Paulo Quaresma ; Teresa Gonçalves ; Salvador Abreu; José Hélio Costa; Kaveh Mashayekhi; Birgit Arnholdt-Schmitt; Jan T Svensson;
PUBLICAÇÃO: 2015, FONTE: Alternative respiratory pathways in higher plants
AUTORES: Paulo Quaresma ; Teresa Gonçalves ; Salvador Abreu; José Hélio Costa; Kaveh Mashayekhi; Birgit Arnholdt-Schmitt; Jan T Svensson;
PUBLICAÇÃO: 2015, FONTE: Alternative respiratory pathways in higher plants
18
TÃTULO: Extending the finite domain solver of GNU prolog
AUTORES: Bloemen, V; Diaz, D; Van Der Bijl, M; Abreu, S;
PUBLICAÇÃO: 2014, FONTE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014
AUTORES: Bloemen, V; Diaz, D; Van Der Bijl, M; Abreu, S;
PUBLICAÇÃO: 2014, FONTE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014
INDEXADO EM: Scopus Handle
Scopus Handle NO MEU: ORCID
ORCID19
TÃTULO: Applications of Declarative Programming and Knowledge Management. 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers
AUTORES: Salvador Abreu;
PUBLICAÇÃO: 2013
AUTORES: Salvador Abreu;
PUBLICAÇÃO: 2013
INDEXADO EM: 
Openlibrary
Openlibrary20
TÃTULO: Estratégia hibrida de recomendações sobre um gestor de conteúdos ampliado em ensino formal
AUTORES: Filipe Madeira; Rui Quaresma; Salvador Abreu;
PUBLICAÇÃO: 2012, FONTE: CAPSI 2012
AUTORES: Filipe Madeira; Rui Quaresma; Salvador Abreu;
PUBLICAÇÃO: 2012, FONTE: CAPSI 2012
INDEXADO EM: Handle
Handle NO MEU: ORCID
ORCID