Follow
Vítor Santos Costa
Vítor Santos Costa
Professor of Computer Science, Universidade do Porto
Verified email at dcc.fc.up.pt
Title
Cited by
Cited by
Year
Human pluripotent stem cell-derived neural constructs for predicting neural toxicity
MP Schwartz, Z Hou, NE Propson, J Zhang, CJ Engstrom, VS Costa, ...
Proceedings of the National Academy of Sciences 112 (40), 12516-12521, 2015
3112015
Andorra I: a parallel Prolog system that transparently exploits both And-and or-parallelism
VS Costa, DHD Warren, R Yang
Proceedings of the third ACM SIGPLAN symposium on Principles and practice of …, 1991
2061991
On the implementation of the probabilistic logic programming language ProbLog
A Kimmig, B Demoen, L De Raedt, VS Costa, R Rocha
Theory and Practice of Logic Programming 11 (2-3), 235-262, 2011
2052011
The YAP prolog system
VS Costa, R Rocha, L Damas
Theory and Practice of Logic Programming 12 (1-2), 5-34, 2012
1922012
CLP (BN): Constraint logic programming for probabilistic knowledge
VS Costa, D Page, M Qazi, J Cussens
Proceedings of the Nineteenth conference on Uncertainty in Artificial …, 2002
162*2002
Introduction to statistical relational learning
D Koller, N Friedman, S Džeroski, C Sutton, A McCallum, A Pfeffer, ...
MIT press, 2007
1462007
Towards typed prolog
T Schrijvers, V Santos Costa, J Wielemaker, B Demoen
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
1162008
The Andorra-I Engine: A parallel implementation of the Basic Andorra model
VSCS Costa, DHD Warren, R Yang
1111991
Query transformations for improving the efficiency of ILP systems
VS Costa, A Srinivasan, R Camacho, H Blockeel, B Demoen, G Janssens, ...
The Journal of Machine Learning Research 4, 465-491, 2003
1032003
The Andorra-I preprocessor: Supporting full Prolog on the basic Andorra model
VSCS Costa, DHD Warren, R Yang
Logic Programming-Proceedings of the Eighth International Conference, 443-456, 1991
1001991
Unachievable region in precision-recall space and its effect on empirical evaluation
K Boyd, VS Costa, J Davis, D Page
arXiv preprint arXiv:1206.4667, 2012
982012
Optimising bytecode emulation for Prolog
VS Costa
Principles and Practice of Declarative Programming: International Conference …, 1999
871999
View Learning for Statistical Relational Learning: With an Application to Mammography.
J Davis, ES Burnside, I de Castro Dutra, D Page, R Ramakrishnan, ...
IJCAI, 677-683, 2005
822005
Relational data mining with inductive logic programming for link discovery
RJ Mooney, P Melville, LR Tang, J Shavlik, I Castro Dutro, D Page, ...
TEXAS UNIV AT AUSTIN, 2002
812002
An integrated approach to learning Bayesian networks of rules
J Davis, E Burnside, I de Castro Dutra, D Page, VS Costa
Machine Learning: ECML 2005: 16th European Conference on Machine Learning …, 2005
802005
On the efficient execution of ProbLog programs
A Kimmig, V Santos Costa, R Rocha, B Demoen, L De Raedt
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
742008
Portability of Prolog programs: theory and case-studies
J Wielemaker, VS Costa
arXiv preprint arXiv:1009.3796, 2010
732010
On applying or-parallelism and tabling to logic programs
R Rocha, F Silva, VS Costa
Theory and Practice of Logic Programming 5 (1-2), 161-205, 2005
682005
YapTab: A tabling engine designed to support parallelism
R Rocha, F Silva, V Santos Costa
Conference on Tabulation in Parsing and Deduction 7787, 2000
682000
IDIOM: Integrating Dependent and-, Independent and-, and Or-parallelism
G Gupta, V Santos Costa, R Yang, MV Hermenegildo
MIT Press, 1991
661991
The system can't perform the operation now. Try again later.
Articles 1–20