Salvador Luís de Bethencourt Pinto de Abreu
AuthID: R-000-G4P
11
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
DBLP12
TITLE: Preface
AUTHORS: Hofstedt, P; Abreu, S; John, U; Kuchen, H; Seipel, D;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Hofstedt, P; Abreu, S; John, U; Kuchen, H; Seipel, D;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID13
TITLE: 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
AUTHORS: Petra Hofstedt; Salvador Abreu; Ulrich John; Herbert Kuchen; Dietmar Seipel;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science
AUTHORS: Petra Hofstedt; Salvador Abreu; Ulrich John; Herbert Kuchen; Dietmar Seipel;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science
14
TITLE: Towards a formal specification of local search neighborhoods from a constraint satisfaction problem structure
AUTHORS: Ślażyński, M; Abreu, S; Nalepa, GJ;
PUBLISHED: 2019, SOURCE: 2019 Genetic and Evolutionary Computation Conference, GECCO 2019 in GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion
AUTHORS: Ślażyński, M; Abreu, S; Nalepa, GJ;
PUBLISHED: 2019, SOURCE: 2019 Genetic and Evolutionary Computation Conference, GECCO 2019 in GECCO 2019 Companion - Proceedings of the 2019 Genetic and Evolutionary Computation Conference Companion
15
TITLE: Constraint-Informed Information Systems in Space Management Utilization
AUTHORS: Irene Rodrigues; Rui Quaresma; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2016
AUTHORS: Irene Rodrigues; Rui Quaresma; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2016
INDEXED IN: 
Handle
Handle16
TITLE: Artificial intelligence for the detection of AOX functional markers
AUTHORS: Quaresma, P ; Gonçalves, T ; Abreu, S; Costa, JH; Mashayekhi, K; Arnholdt Schmitt, B; Svensson, JT;
PUBLISHED: 2015, SOURCE: Alternative Respiratory Pathways in Higher Plants
AUTHORS: Quaresma, P ; Gonçalves, T ; Abreu, S; Costa, JH; Mashayekhi, K; Arnholdt Schmitt, B; Svensson, JT;
PUBLISHED: 2015, SOURCE: Alternative Respiratory Pathways in Higher Plants
INDEXED IN: Scopus Handle
Scopus Handle IN MY: ORCID
ORCID17
TITLE: Artificial intelligence for the detection ofAOXfunctional markers
AUTHORS: Paulo Quaresma ; Teresa Gonçalves ; Salvador Abreu; José Hélio Costa; Kaveh Mashayekhi; Birgit Arnholdt-Schmitt; Jan T Svensson;
PUBLISHED: 2015, SOURCE: Alternative respiratory pathways in higher plants
AUTHORS: Paulo Quaresma ; Teresa Gonçalves ; Salvador Abreu; José Hélio Costa; Kaveh Mashayekhi; Birgit Arnholdt-Schmitt; Jan T Svensson;
PUBLISHED: 2015, SOURCE: Alternative respiratory pathways in higher plants
18
TITLE: Extending the finite domain solver of GNU prolog
AUTHORS: Bloemen, V; Diaz, D; Van Der Bijl, M; Abreu, S;
PUBLISHED: 2014, SOURCE: 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
AUTHORS: Bloemen, V; Diaz, D; Van Der Bijl, M; Abreu, S;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus Handle
Scopus Handle IN MY: ORCID
ORCID19
TITLE: Estratégia hibrida de recomendações sobre um gestor de conteúdos ampliado em ensino formal
AUTHORS: Filipe Madeira; Rui Quaresma; Salvador Abreu;
PUBLISHED: 2012, SOURCE: CAPSI 2012
AUTHORS: Filipe Madeira; Rui Quaresma; Salvador Abreu;
PUBLISHED: 2012, SOURCE: CAPSI 2012
INDEXED IN: Handle
Handle IN MY: ORCID
ORCID20
TITLE: Applications of Declarative Programming and Knowledge Management. 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
AUTHORS: Salvador Abreu;
PUBLISHED: 2011
AUTHORS: Salvador Abreu;
PUBLISHED: 2011
INDEXED IN: 
Openlibrary
Openlibrary