Vítor Manuel de Morais Santos Costa


AuthID: R-000-HMB

Confirmed Publications: 204



1
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: 2
IN MY: ORCID | DBLP
2
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: WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
3
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
IN MY: ORCID | DBLP
4
TITLE: Online Learning of Logic Based Neural Network Structures
AUTHORS: Guimaraes, Victor; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 30th International Conference on Inductive Logic Programming (ILP) held as part of the 1st International Joint Conference on Learning and Reasoning (IJCLR) in INDUCTIVE LOGIC PROGRAMMING (ILP 2021), VOLUME: 13191
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
5
TITLE: Typed SLD-Resolution: Dynamic Typing for Logic Programming
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), VOLUME: 13474
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
6
TITLE: Biased resampling strategies for imbalanced spatio-temporal forecasting
AUTHORS: Oliveira, M ; Moniz, N ; Torgo, L ; Costa, VS ;
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: 12, ISSUE: 3
INDEXED IN: WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
7
TITLE: Data Type Inference for Logic Programming
AUTHORS: João Barbosa; Mário Florido ; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.06562
INDEXED IN: DBLP
IN MY: ORCID | DBLP
8
TITLE: Evaluation Procedures for Forecasting with Spatiotemporal Data  Full Text
AUTHORS: Oliveira, M ; Torgo, L ; Costa, VS ;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
9
TITLE: NeuralLog: a Neural Logic Language
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.01442
INDEXED IN: DBLP
IN MY: ORCID | DBLP
10
TITLE: Online Learning of Logic Based Neural Network Structures
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: Inductive Logic Programming - 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings, VOLUME: 13191
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Page 1 of 21. Total results: 204.

A place for researchers and their institutions

Useful Links

Get Help

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