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
Michael P. Schwartz,Zhonggang Hou,Nicholas E. Propson,Jue Zhang,Collin Engstrom,Vítor Santos Costa,Peng Jiang,Bao Kim Nguyen,Jennifer M. Bolin,William T. Daly,Yu Wang,Ron Stewart,C. David Page,William L. Murphy,James A. Thomson,James A. Thomson,James A. Thomson +16 more
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.