scispace - formally typeset
V

Vítor Santos Costa

Researcher at University of Porto

Publications -  215
Citations -  3898

Vítor Santos Costa is an academic researcher from University of Porto. The author has contributed to research in topics: Prolog & Logic programming. The author has an hindex of 29, co-authored 211 publications receiving 3623 citations. Previous affiliations of Vítor Santos Costa include Federal Fluminense University & New Mexico State University.

Papers
More filters
BookDOI

Inductive Logic Programming: 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Abstract: This book constitutes the thoroughly refereed post-proceedings of the 23rd International Conference on Inductive Logic Programming, ILP 2013, held in Rio de Janeiro, Brazil, in August 2013. The 9 revised extended papers were carefully reviewed and selected from 42 submissions. The conference now focuses on all aspects of learning in logic, multi-relational learning and data mining, statistical relational learning, graph and tree mining, relational reinforcement learning, and other forms of learning from structured data.
Journal ArticleDOI

Human pluripotent stem cell-derived neural constructs for predicting neural toxicity

TL;DR: Stem cell biology, tissue engineering, bioinformatics, and machine learning were combined to implement an in vitro human cellular model for developmental neurotoxicity screening and demonstrated the value of human cell-based assays for predictive toxicology and should be useful for both drug and chemical safety assessment.
Journal ArticleDOI

On the implementation of the probabilistic logic programming language problog

TL;DR: Algorithms that allow the efficient execution of queries in ProbLog are introduced, their implementation on top of the YAP-Prolog system is discussed, and their performance in the context of large networks of biological entities is evaluated.
Journal ArticleDOI

The yap prolog system

TL;DR: Yet Another Prolog (YAP) as mentioned in this paper is a Prolog system originally developed in the mid-eighties and that has been under almost constant development since then, focusing on three important contributions to the Logic Programming community.
Proceedings ArticleDOI

Andorra I: a parallel Prolog system that transparently exploits both And-and or-parallelism

TL;DR: This work gives an overview of the main problems in the implementation of Andorra-I: the design of its engine and of the preprocessor that generates code to recognise determinate goals, and presents performance data for the implementation.