Vítor Manuel de Morais Santos Costa


AuthID: R-000-HMB

Confirmed Publications: 209



1
TITLE: On Bridging Prolog and Python to Enhance an Inductive Logic Programming System
AUTHORS: Costa, Vitor Santos ; Miguel Areias ;
PUBLISHED: 2025, SOURCE: 27th International Symposium on Practical Aspects of Declarative Languages-PADL in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2025, VOLUME: 15537
INDEXED IN: Scopus WOS DBLP CrossRef
2
TITLE: Program Synthesis Using Inductive Logic Programming for the Abstraction and Reasoning Corpus
AUTHORS: Filipe Marinho Rocha; Inês Dutra ; Vítor Santos Costa ;
PUBLISHED: 2025, SOURCE: INTELLIGENZA ARTIFICIALE, VOLUME: 19, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
3
TITLE: Regular Typed Unification
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2025, SOURCE: 40th International Conference on Logic Programming (ICLP) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 416, ISSUE: 416
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
4
TITLE: The Impact of Feature Selection on Balancing, Based on Diabetes Data
AUTHORS: Machado, Diogo; Costa, Vitor Santos ; Brandao, Pedro ;
PUBLISHED: 2024, SOURCE: 16th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC) in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, BIOSTEC 2023, VOLUME: 2079
INDEXED IN: Scopus WOS CrossRef Unpaywall
5
TITLE: Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog
AUTHORS: Moreno, Pedro ; Miguel Areias ; Rocha, Ricardo ; Costa, Vitor Santos ;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 52, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 2
6
TITLE: Using Balancing Methods to Improve Glycaemia-Based Data Mining
AUTHORS: Diogo Machado; Vítor Santos Costa ; Pedro Brandão ;
PUBLISHED: 2023, SOURCE: HEALTHINF
INDEXED IN: DBLP
7
TITLE: Data Type Inference for Logic Programming
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), VOLUME: 13290
INDEXED IN: Scopus WOS DBLP CrossRef: 7
8
TITLE: Fifty Years of Prolog and Beyond
AUTHORS: 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;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef: 26
9
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
INDEXED IN: DBLP
10
TITLE: Impact of the glycaemic sampling method in diabetes data mining
AUTHORS: Machado, Diogo; Costa, Vitor Santos ; Brandao, Pedro ;
PUBLISHED: 2022, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2022 27TH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (IEEE ISCC 2022), VOLUME: 2022-June
INDEXED IN: Scopus WOS DBLP CrossRef: 2
Page 1 of 21. Total results: 209.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service