Vítor Manuel de Morais Santos Costa


AuthID: R-000-HMB

Publicações Confirmadas: 210



1
TÍTULO: On Bridging Prolog and Python to Enhance an Inductive Logic Programming System
AUTORES: Vítor Manuel de Morais Santos Costa ; Miguel Areias ;
PUBLICAÇÃO: 2025, FONTE: 27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025 in Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, VOLUME: 15537
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
2
TÍTULO: Regular Typed Unification  Full Text
AUTORES: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2025, FONTE: 40th International Conference on Logic Programming (ICLP) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 416, NÚMERO: 416
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
3
TÍTULO: Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
AUTORES: Filipe Marinho Rocha; Inês Dutra ; Vítor Santos Costa ;
PUBLICAÇÃO: 2024, FONTE: 3rd International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning, HYDRA 2024 in CoRR, VOLUME: abs/2405.06399
INDEXADO EM: Scopus DBLP
4
TÍTULO: The Impact of Feature Selection on Balancing, Based on Diabetes Data
AUTORES: Machado, Diogo; Costa, Vitor Santos ; Brandao, Pedro ;
PUBLICAÇÃO: 2024, FONTE: 16th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC) in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, BIOSTEC 2023, VOLUME: 2079
INDEXADO EM: Scopus WOS CrossRef Unpaywall
5
TÍTULO: Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog  Full Text
AUTORES: Moreno, Pedro; Areias, Miguel ; Rocha, Ricardo ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 52, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: DBLP
6
TÍTULO: Using Balancing Methods to Improve Glycaemia-Based Data Mining
AUTORES: Diogo Machado; Vítor Santos Costa ; Pedro Brandão ;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2023, Volume 5: HEALTHINF, Lisbon, Portugal, February 16-18, 2023.
INDEXADO EM: DBLP
NO MEU: DBLP
7
TÍTULO: Data Type Inference for Logic Programming
AUTORES: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2022, FONTE: 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), VOLUME: 13290
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
8
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: 17
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
9
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
INDEXADO EM: DBLP
NO MEU: DBLP
10
TÍTULO: Impact of the glycaemic sampling method in diabetes data mining
AUTORES: Machado, Diogo; Costa, Vitor Santos ; Brandao, Pedro ;
PUBLICAÇÃO: 2022, FONTE: IEEE Symposium on Computers and Communications (ISCC) in 2022 27TH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (IEEE ISCC 2022), VOLUME: 2022-June
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 1 de 21. Total de resultados: 210.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service