Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Vítor Manuel de Morais Santos Costa
AuthID:
R-000-HMB
Publications
Confirmed
To Validate
Document Source:
All
Document Type:
All Document Types
Proceedings Paper (118)
Article (61)
Proceedings (9)
Editorial Material (6)
Book Chapter (4)
Unpublished (4)
Book (1)
Phd Thesis (1)
Year Start - End:
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
-
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
Order:
Year Dsc
Year Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Title Asc
Title Dsc
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
Add to Marked List
Check All
Export All
BibTex
EndNote
CSV
RIS
ISI
APA
Print All
PDF
HTML
Page 1 of 21. Total results: 204.
<<
<
1
2
3
4
5
6
7
8
9
>
>>
© 2023 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service