E-LIB Suche - Ergebnisse für: Costa, Vítor Santos

1

Impact of the glycaemic sampling method in diabetes data mi..:

, In: 2022 IEEE Symposium on Computers and Communications (ISCC),

Machado, Diogo ; Costa, Vitor Santos ; Brandao, Pedro - p. 1-6 , 2022

Link: https://doi.org/10.1109/..

2

Data Type Inference for Logic Programming:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Barbosa, João ; Florido, Mário ; Costa, Vítor Santos - p. 16-37 , 2022

Link: https://doi.org/10.1007/..

3

Typed SLD-Resolution: Dynamic Typing for Logic Programming:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Barbosa, João ; Florido, Mário ; Costa, Vítor Santos - p. 123-141 , 2022

Link: https://doi.org/10.1007/..

4

Fifty Years of Prolog and Beyond:

KÖRNER, PHILIPP ; LEUSCHEL, MICHAEL ; BARBOSA, JOÃO...
Theory and Practice of Logic Programming. 22 (2022) 6 - p. 776-858 , 2022

Link: https://doi.org/10.1017/..

5

Online Learning of Logic Based Neural Network Structures:

, In: Inductive Logic Programming; Lecture Notes in Computer Science,

Guimarães, Victor ; Costa, Vítor Santos - p. 140-155 , 2022

Link: https://doi.org/10.1007/..

6

From Reinforcement Learning Towards Artificial General Inte..:

, In: Trends and Innovations in Information Systems and Technologies; Advances in Intelligent Systems and Computing,

Rocha, Filipe Marinho ; Costa, Vítor Santos ; Reis, Luís Paulo - p. 401-413 , 2020

Link: https://doi.org/10.1007/..

7

Overcoming Reinforcement Learning Limits with Inductive Log..:

, In: Trends and Innovations in Information Systems and Technologies; Advances in Intelligent Systems and Computing,

Rocha, Filipe Marinho ; Costa, Vítor Santos ; Reis, Luís Paulo - p. 414-423 , 2020

Link: https://doi.org/10.1007/..

8

Diabetes Management Guidance by a Logical Unit Supported by..:

, In: IFMBE Proceedings; XV Mediterranean Conference on Medical and Biological Engineering and Computing – MEDICON 2019,

Machado, Diogo ; Costa, Vítor Santos ; Dutra, Inês. - p. 1385-1393 , 2019

Link: https://doi.org/10.1007/..

9

Markov logic networks for adverse drug event extraction fro..:

Natarajan, Sriraam ; Bangera, Vishal ; Khot, Tushar...
Knowledge and Information Systems. 51 (2016) 2 - p. 435-457 , 2016

Link: https://doi.org/10.1007/..

10

On the use of stochastic local search techniques to revise ..:

Paes, Aline ; Zaverucha, Gerson ; Costa, Vítor Santos
Machine Learning. 106 (2016) 2 - p. 197-241 , 2016

Link: https://doi.org/10.1007/..

11

Exploring multi-relational temporal databases with a propos..:

Ferreira, Carlos Abreu ; Gama, João ; Costa, Vítor Santos
Progress in Artificial Intelligence. 4 (2015) 1-2 - p. 11-20 , 2015

Link: https://doi.org/10.1007/..

12

Relational Learning with GPUs: Accelerating Rule Coverage:

Martínez-Angeles, Carlos Alberto ; Wu, Haicheng ; Dutra, Inês..
International Journal of Parallel Programming. 44 (2015) 3 - p. 663-685 , 2015

Link: https://doi.org/10.1007/..

13

Human pluripotent stem cell-derived neural constructs for p..:

Schwartz, Michael P. ; Hou, Zhonggang ; Propson, Nicholas E....
Proceedings of the National Academy of Sciences of the United States of America. 112 (2015) 40 - p. 12516-12521 , 2015

Link: https://www.jstor.org/st..

14

Human pluripotent stem cell-derived neural constructs for p..:

Schwartz, Michael P. ; Hou, Zhonggang ; Propson, Nicholas E....
Proceedings of the National Academy of Sciences. 112 (2015) 40 - p. 12516-12521 , 2015

Link: https://doi.org/10.1073/..

15

Lifted Variable Elimination for Probabilistic Logic Program..:

BELLODI, ELENA ; LAMMA, EVELINA ; RIGUZZI, FABRIZIO..
Theory and Practice of Logic Programming. 14 (2014) 4-5 - p. 681-695 , 2014

Link: https://doi.org/10.1017/..