default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVítor Santos Costa
Vítor Manuel de Morais Santos Costa
Person information
- affiliation: University of Porto, Portugal
- affiliation (PhD 1993): University of Bristol, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j37]Pedro Moreno, Miguel Areias, Ricardo Rocha, Vítor Santos Costa:
Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog. Int. J. Parallel Program. 52(3): 187-206 (2024)- [i21]João Barbosa, Mário Florido, Vítor Santos Costa:
Regular Typed Unification. CoRR abs/2404.16406 (2024) - [i20]Filipe Marinho Rocha, Inês Dutra, Vítor Santos Costa:
Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus. CoRR abs/2405.06399 (2024) - 2023
- [c130]Diogo Machado, Vítor Santos Costa, Pedro Brandão:
Using Balancing Methods to Improve Glycaemia-Based Data Mining. HEALTHINF 2023: 188-198 - 2022
- [j36]Philipp Körner
, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu:
Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. 22(6): 776-858 (2022) - [c129]Diogo Machado, Vítor Santos Costa, Pedro Brandão:
Impact of the glycaemic sampling method in diabetes data mining. ISCC 2022: 1-6 - [c128]João Barbosa, Mário Florido, Vítor Santos Costa:
Typed SLD-Resolution: Dynamic Typing for Logic Programming. LOPSTR 2022: 123-141 - [i19]Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto:
50 Years of Prolog and Beyond. CoRR abs/2201.10816 (2022) - [i18]João Barbosa, Mário Florido, Vítor Santos Costa:
Typed SLD-Resolution: Dynamic Typing for Logic Programming. CoRR abs/2208.00192 (2022) - 2021
- [j35]Nícia Rosário-Ferreira, Victor Guimarães, Vítor Santos Costa, Irina S. Moreira:
SicknessMiner: a deep-learning-driven text-mining tool to abridge disease-disease associations. BMC Bioinform. 22(1): 482 (2021) - [j34]Mariana Oliveira, Nuno Moniz, Luís Torgo, Vítor Santos Costa:
Biased resampling strategies for imbalanced spatio-temporal forecasting. Int. J. Data Sci. Anal. 12(3): 205-228 (2021) - [c127]Carla Silva, Marvin F. da Silva, Arlete Rodrigues, José Silva, Vítor Santos Costa, Alípio Jorge, Inês Dutra:
Predictive Maintenance for Sensor Enhancement in Industry 4.0. ACIIDS (Companion) 2021: 403-415 - [c126]Victor Guimarães, Vítor Santos Costa:
Online Learning of Logic Based Neural Network Structures. ILP 2021: 140-155 - [c125]João Barbosa, Mário Florido, Vítor Santos Costa:
Data Type Inference for Logic Programming. LOPSTR 2021: 16-37 - [i17]Victor Guimarães, Vítor Santos Costa:
NeuralLog: a Neural Logic Language. CoRR abs/2105.01442 (2021) - [i16]João Barbosa, Mário Florido, Vítor Santos Costa:
Data Type Inference for Logic Programming. CoRR abs/2108.06562 (2021) - 2020
- [c124]Filipe Marinho Rocha, Vítor Santos Costa, Luís Paulo Reis:
From Reinforcement Learning Towards Artificial General Intelligence. WorldCIST (2) 2020: 401-413 - [c123]Filipe Marinho Rocha, Vítor Santos Costa, Luís Paulo Reis:
Overcoming Reinforcement Learning Limits with Inductive Logic Programming. WorldCIST (2) 2020: 414-423
2010 – 2019
- 2019
- [j33]Carlos Abreu Ferreira, João Gama, Vítor Santos Costa:
Contrasting logical sequences in multi-relational learning. Prog. Artif. Intell. 8(4): 487-503 (2019) - [c122]Mariana Oliveira, Nuno Moniz, Luís Torgo, Vítor Santos Costa:
Biased Resampling Strategies for Imbalanced Spatio-Temporal Forecasting. DSAA 2019: 100-109 - [c121]Finn Kuusisto, Vítor Santos Costa, Zhonggang Hou, James A. Thomson, David Page, Ron M. Stewart:
Machine Learning to Predict Developmental Neurotoxicity with High-Throughput Data from 2D Bio-Engineered Tissues. ICMLA 2019: 293-298 - [c120]João Barbosa, Mário Florido, Vítor Santos Costa:
A Three-Valued Semantics for Typed Logic Programming. ICLP Technical Communications 2019: 36-51 - [i15]Finn Kuusisto, Vítor Santos Costa, Zhonggang Hou, James A. Thomson, David Page, Ron M. Stewart:
Machine Learning to Predict Developmental Neurotoxicity with High-throughput Data from 2D Bio-engineered Tissues. CoRR abs/1905.02121 (2019) - 2018
- [c119]Mariana Oliveira, Luís Torgo, Vítor Santos Costa:
Evaluation Procedures for Forecasting with Spatio-Temporal Data. ECML/PKDD (1) 2018: 703-718 - 2017
- [j32]Sriraam Natarajan, Vishal Bangera, Tushar Khot, Jose Picado, Anurag Wazalwar, Vítor Santos Costa, David Page, Michael Caldwell:
Markov logic networks for adverse drug event extraction from text. Knowl. Inf. Syst. 51(2): 435-457 (2017) - [j31]Aline Paes, Gerson Zaverucha, Vítor Santos Costa:
On the use of stochastic local search techniques to revise first-order logic theories from examples. Mach. Learn. 106(2): 197-241 (2017) - [c118]Diogo Machado, Tiago Paiva, Inês Dutra, Vítor Santos Costa, Pedro Brandão:
Managing diabetes: Pattern discovery and counselling supported by user data in a mobile platform. ISCC 2017: 296-299 - [c117]Zhaobin Kuang, Peggy L. Peissig, Vítor Santos Costa, Richard Maclin, David Page:
Pharmacovigilance via Baseline Regularization with Large-Scale Longitudinal Observational Data. KDD 2017: 1537-1546 - [c116]Diogo Machado, Inês Dutra, Pedro Brandão, Vítor Santos Costa:
Managing Diabetes: Counselling Supported by User Data in a Mobile Platform. RuleML+RR (Supplement) 2017 - 2016
- [j30]Carlos Alberto Martinez-Angeles, Haicheng Wu, Inês Dutra, Vítor Santos Costa, Jorge Buenabad-Chávez:
Relational Learning with GPUs: Accelerating Rule Coverage. Int. J. Parallel Program. 44(3): 663-685 (2016) - [c115]Mariana Oliveira, Luís Torgo, Vítor Santos Costa:
Predicting Wildfires - Propositional and Relational Spatio-Temporal Pre-processing Approaches. DS 2016: 183-197 - [p4]Rui Camacho, Jorge G. Barbosa, Altino M. Sampaio, João Ladeiras, Nuno A. Fonseca, Vítor Santos Costa:
Parallel Algorithms for Multirelational Data Mining: Application to Life Science Problems. Resource Management for Big Data Platforms 2016: 339-363 - 2015
- [j29]Gerson Zaverucha, Vítor Santos Costa:
Guest editors' introduction: special issue on Inductive Logic Programming and on Multi-Relational Learning. Mach. Learn. 100(1): 1-3 (2015) - [j28]Carlos Abreu Ferreira, João Gama, Vítor Santos Costa:
Exploring multi-relational temporal databases with a propositional sequence miner. Prog. Artif. Intell. 4(1-2): 11-20 (2015) - [c114]Diogo Pinto, Pedro Costa, Rui Camacho, Vítor Santos Costa:
Predicting Drugs Adverse Side-Effects Using a Recommender-System. Discovery Science 2015: 201-208 - [c113]Carlos Alberto Martinez-Angeles, Inês Dutra, Vítor Santos Costa, Jorge Buenabad-Chávez:
Processing Markov Logic Networks with GPUs: Accelerating Network Grounding. ILP 2015: 122-136 - [p3]Jesse Davis, Vítor Santos Costa, Peggy L. Peissig, Michael Caldwell, David Page:
Predicting Adverse Drug Events from Electronic Medical Records. Foundations of Biomedical Knowledge Representation 2015: 243-257 - [e10]Annalisa Appice, Pedro Pereira Rodrigues, Vítor Santos Costa, Carlos Soares, João Gama, Alípio Jorge:
Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part I. Lecture Notes in Computer Science 9284, Springer 2015, ISBN 978-3-319-23527-1 [contents] - [e9]Annalisa Appice, Pedro Pereira Rodrigues, Vítor Santos Costa, João Gama, Alípio Jorge, Carlos Soares:
Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part II. Lecture Notes in Computer Science 9285, Springer 2015, ISBN 978-3-319-23524-0 [contents] - 2014
- [j27]Peggy L. Peissig, Vítor Santos Costa, Michael Caldwell, Carla Rottscheit, Richard L. Berg, Eneida A. Mendonça, David Page:
Relational machine learning for electronic health record-driven phenotyping. J. Biomed. Informatics 52: 260-270 (2014) - [j26]Leandro A. J. Marzulo, Tiago A. O. Alves, Felipe M. G. França, Vítor Santos Costa:
Couillard: Parallel programming via coarse-grained Data-flow Compilation. Parallel Comput. 40(10): 661-680 (2014) - [j25]Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese:
Lifted Variable Elimination for Probabilistic Logic Programming. Theory Pract. Log. Program. 14(4-5): 681-695 (2014) - [c112]António Gonçalves, Irene M. Ong, Jeffrey A. Lewis, Vítor Santos Costa:
Towards Using Probabilities and Logic to Model Regulatory Networks. CBMS 2014: 239-242 - [c111]António Gonçalves, Irene M. Ong, Jeffrey A. Lewis, Vítor Santos Costa:
Discovering Differentially Expressed Genes in Yeast Stress Data. CBMS 2014: 537-538 - [c110]Cláudio Amaral, Mário Florido, Vítor Santos Costa:
PrologCheck - Property-Based Testing in Prolog. FLOPS 2014: 1-17 - [c109]Finn Kuusisto, Vítor Santos Costa, Houssam Nassif, Elizabeth S. Burnside, David Page, Jude W. Shavlik:
Support Vector Machines for Differential Prediction. ECML/PKDD (2) 2014: 50-65 - [e8]Fernando M. A. Silva, Inês de Castro Dutra, Vítor Santos Costa:
Euro-Par 2014 Parallel Processing - 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings. Lecture Notes in Computer Science 8632, Springer 2014, ISBN 978-3-319-09872-2 [contents] - [e7]Gerson Zaverucha, Vítor Santos Costa, Aline Marins Paes:
Late Breaking Papers of the 23rd International Conference on Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th - to - 30th, 2013. CEUR Workshop Proceedings 1187, CEUR-WS.org 2014 [contents] - [e6]Gerson Zaverucha, Vítor Santos Costa, Aline Paes:
Inductive Logic Programming - 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8812, Springer 2014, ISBN 978-3-662-44922-6 [contents] - [i14]Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese:
Lifted Variable Elimination for Probabilistic Logic Programming. CoRR abs/1405.3218 (2014) - 2013
- [j24]Vítor Santos Costa, David Vaz:
BigYAP: Exo-compilation meets UDI. Theory Pract. Log. Program. 13(4-5): 799-813 (2013) - [c108]Carlos Alberto Martinez-Angeles, Inês de Castro Dutra, Vítor Santos Costa, Jorge Buenabad-Chávez:
A Datalog Engine for GPUs. KDPD 2013: 152-168 - [c107]Nicos Angelopoulos, Vítor Santos Costa, João Azevedo, Jan Wielemaker, Rui Camacho, Lodewyk F. A. Wessels:
Integrative Functional Statistics in Logic Programming. PADL 2013: 190-205 - [c106]Houssam Nassif, Finn Kuusisto, Elizabeth S. Burnside, David Page, Jude W. Shavlik, Vítor Santos Costa:
Score As You Lift (SAYL): A Statistical Relational Learning Approach to Uplift Modeling. ECML/PKDD (3) 2013: 595-611 - 2012
- [j23]Rui Camacho, Rita Ferreira, Natacha Rosa, Vânia Guimarães, Nuno A. Fonseca, Vítor Santos Costa, Miguel de Sousa, Alexandre Magalhães:
Predicting the secondary structure of proteins using machine learning algorithms. Int. J. Data Min. Bioinform. 6(6): 571-584 (2012) - [j22]Vítor Santos Costa, Ricardo Rocha, Luís Damas:
The YAP Prolog system. Theory Pract. Log. Program. 12(1-2): 5-34 (2012) - [j21]Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva:
A design and implementation of the Extended Andorra Model. Theory Pract. Log. Program. 12(3): 319-360 (2012) - [j20]Agostino Dovier, Vítor Santos Costa:
Introduction to the 28th international conference on logic programming special issue. Theory Pract. Log. Program. 12(4-5): 421-426 (2012) - [c105]David Page, Vítor Santos Costa, Sriraam Natarajan, Aubrey Barnard, Peggy L. Peissig, Michael Caldwell:
Identifying Adverse Drug Events by Relational Learning. AAAI 2012: 1599-1605 - [c104]Carlos Abreu Ferreira, João Gama, Vítor Santos Costa, Vladimiro Miranda, Audun Botterud:
Predicting Ramp Events with a Stream-Based HMM Framework. Discovery Science 2012: 224-238 - [c103]Agostino Dovier, Vítor Santos Costa:
Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue. ICLP (Technical Communications) 2012 - [c102]Kendrick Boyd, Jesse Davis, David Page, Vítor Santos Costa:
Unachievable Region in Precision-Recall Space and Its Effect on Empirical Evaluation. ICML 2012 - [c101]Jesse Davis, Vítor Santos Costa, Elizabeth Berg, David Page, Peggy L. Peissig, Michael Caldwell:
Demand-Driven Clustering in Relational Domains for Predicting Adverse Drug Events. ICML 2012 - [c100]António Gonçalves, Irene M. Ong, Jeffrey A. Lewis, Vítor Santos Costa:
A Problog Model for Analyzing Gene Regulatory Networks. ILP (Late Breaking Papers) 2012: 38-43 - [c99]Tiago Gomes, Vítor Santos Costa:
Evaluating Inference Algorithms for the Prolog Factor Language. ILP 2012: 74-85 - [c98]Inês de Castro Dutra, Ricardo Rocha, Vítor Santos Costa, Fernando M. A. Silva, João Santos:
Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines. IPDPS Workshops 2012: 1581-1590 - [c97]Houssam Nassif, Vítor Santos Costa, Elizabeth S. Burnside, David Page:
Relational Differential Prediction. ECML/PKDD (1) 2012: 617-632 - [c96]Tiago Gomes, Vítor Santos Costa:
Evaluating Inference Algorithms for the Prolog Factor Language. StarAI@UAI 2012 - [e5]Agostino Dovier, Vítor Santos Costa:
Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary. LIPIcs 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-43-9 [contents] - [e4]Umut A. Acar, Vítor Santos Costa:
Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012. ACM 2012, ISBN 978-1-4503-1117-5 [contents] - [i13]Kendrick Boyd, Vítor Santos Costa, Jesse Davis, David Page:
Unachievable Region in Precision-Recall Space and Its Effect on Empirical Evaluation. CoRR abs/1206.4667 (2012) - [i12]Agostino Dovier, Vítor Santos Costa:
Introduction to the 28th International Conference on Logic Programming Special Issue. CoRR abs/1210.3937 (2012) - [i11]Vítor Santos Costa, David Page, Maleeha Qazi, James Cussens:
CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. CoRR abs/1212.2519 (2012) - 2011
- [j19]Tiago A. O. Alves, Leandro A. J. Marzulo, Felipe M. G. França, Vítor Santos Costa:
Trebuchet: exploring TLP with dataflow virtualisation. Int. J. High Perform. Syst. Archit. 3(2/3): 137-148 (2011) - [j18]Rui Camacho, Max Pereira, Vítor Santos Costa, Nuno A. Fonseca, Carlos Adriano Gonçalves, Carlos J. V. Simões, Rui M. M. Brito:
A Relational Learning Approach to Structure-Activity Relationships in Drug Design Toxicity Studies. J. Integr. Bioinform. 8(3) (2011) - [j17]Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha:
On the implementation of the probabilistic logic programming language ProbLog. Theory Pract. Log. Program. 11(2-3): 235-262 (2011) - [c95]Carlos Abreu Ferreira, João Gama, Vítor Santos Costa:
Constrained Sequential Pattern Knowledge in Multi-relational Learning. EPIA 2011: 282-296 - [c94]Carlos Abreu Ferreira, João Gama, Vítor Santos Costa:
Predictive Sequence Miner in ILP Learning. ILP 2011: 130-144 - [c93]Nuno A. Fonseca, Vítor Santos Costa, Rui Camacho:
Conceptual Clustering of Multi-Relational Data. ILP 2011: 145-159 - [c92]Carlos Abreu Ferreira, João Gama, Vítor Santos Costa:
Sequential Pattern Knowledge in Multi-Relational Learning. ISCIS 2011: 539-545 - [c91]Rui Camacho, Max Pereira, Vítor Santos Costa, Nuno A. Fonseca, Carlos J. V. Simões, Rui M. M. Brito:
Assessing the Effect of 2D Fingerprint Filtering on ILP-Based Structure-Activity Relationships Toxicity Studies in Drug Design. PACBB 2011: 355-363 - [c90]Jan Wielemaker, Vítor Santos Costa:
On the Portability of Prolog Applications. PADL 2011: 69-83 - [i10]Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva:
A Design and Implementation of the Extended Andorra Model. CoRR abs/1101.6029 (2011) - [i9]Vítor Santos Costa, Luís Damas, Ricardo Rocha:
The YAP Prolog System. CoRR abs/1102.3896 (2011) - [i8]Leandro A. J. Marzulo, Tiago A. O. Alves, Felipe M. G. França, Vítor Santos Costa:
Couillard: Parallel Programming via Coarse-Grained Data-Flow Compilation. CoRR abs/1109.4925 (2011) - [i7]Salvador Abreu, Vítor Santos Costa:
Online Proceedings of the 11th International Colloquium on Implementation of Constraint LOgic Programming Systems (CICLOPS 2011), Lexington, KY, U.S.A., July 10, 2011. CoRR abs/1112.4993 (2011) - 2010
- [j16]Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha:
Threads and or-parallelism unified. Theory Pract. Log. Program. 10(4-6): 417-432 (2010) - [c89]Nuno A. Fonseca, Max Pereira, Vítor Santos Costa, Rui Camacho:
Interactive Discriminative Mining of Chemical Fragments. ILP 2010: 59-66 - [c88]David Vaz, Vítor Santos Costa, Michel Ferreira:
Fire! Firing Inductive Rules from Economic Geography for Fire Risk Detection. ILP 2010: 238-252 - [c87]Rui Camacho, Rita Ferreira, Natacha Rosa, Vânia Guimarães, Nuno A. Fonseca, Vítor Santos Costa, Miguel de Sousa, Alexandre Magalhães:
Predicting the Start of Protein alpha-Helices Using Machine Learning Algorithms. IWPACBB 2010: 33-41 - [c86]Vítor Santos Costa:
On the Implementation of the CLP(BN\mathcal BN) Language. PADL 2010: 234-248 - [c85]Leandro A. J. Marzulo, Tiago A. O. Alves, Felipe M. G. França, Vítor Santos Costa:
TALM: A Hybrid Execution Model with Distributed Speculation Support. SBAC-PAD (Workshops) 2010: 31-36 - [p2]Luc De Raedt, Angelika Kimmig, Bernd Gutmann, Kristian Kersting, Vítor Santos Costa, Hannu Toivonen:
Probabilistic Inductive Querying Using ProbLog. Inductive Databases and Constraint-Based Data Mining 2010: 229-262 - [i6]Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha:
On the Implementation of the Probabilistic Logic Programming Language ProbLog. CoRR abs/1006.4442 (2010) - [i5]Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha:
Threads and Or-Parallelism Unified. CoRR abs/1007.4438 (2010) - [i4]Jan Wielemaker, Vítor Santos Costa:
Portability of Prolog programs: theory and case-studies. CoRR abs/1009.3796 (2010)
2000 – 2009
- 2009
- [j15]Nuno A. Fonseca, Vítor Santos Costa, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva:
Improving the efficiency of inductive logic programming systems. Softw. Pract. Exp. 39(2): 189-219 (2009) - [c84]Carlos Abreu Ferreira, João Gama, Vítor Santos Costa:
Sequential Pattern Mining in Multi-relational Datasets. CAEPIA 2009: 121-130 - [c83]Vítor Santos Costa:
On Just in Time Indexing of Dynamic Predicates in Prolog. EPIA 2009: 126-137 - [c82]David Vaz, Vítor Santos Costa, Michel Ferreira:
User Defined Indexing. ICLP 2009: 372-386 - [c81]Stephen H. Muggleton, Aline Paes, Vítor Santos Costa, Gerson Zaverucha:
Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples. ILP 2009: 123-130 - [c80]Nuno A. Fonseca, Vítor Santos Costa, Rui Camacho, Cristina P. Vieira, Jorge Vieira:
Partitional Clustering of Protein Sequences - An Inductive Logic Programming Approach. IWANN (2) 2009: 1001-1004 - [c79]Max Pereira, Vítor Santos Costa, Rui Camacho, Nuno A. Fonseca:
Visually Guiding and Controlling the Search While Mining Chemical Structures. IWANN (2) 2009: 1043-1046 - [c78]Max Pereira, Vítor Santos Costa, Rui Camacho, Nuno A. Fonseca, Carlos J. V. Simões, Rui M. M. Brito:
Comparative Study of Classification Algorithms Using Molecular Descriptors in Toxicological DataBases. BSB 2009: 121-132 - [e3]João Gama, Vítor Santos Costa, Alípio Mário Jorge, Pavel Brazdil:
Discovery Science, 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009. Lecture Notes in Computer Science 5808, Springer 2009, ISBN 978-3-642-04746-6 [contents] - 2008
- [j14]Nuno A. Fonseca, Rui Camacho, Ricardo Rocha, Vítor Santos Costa:
Compile the Hypothesis Space: Do it Once, Use it Often. Fundam. Informaticae 89(1): 45-67 (2008) - [c77]Vítor Santos Costa, Nuno A. Fonseca, Rui Camacho:
LogCHEM: Interactive Discriminative Mining of Chemical Structure. BIBM 2008: 421-426 - [c76]Vítor Santos Costa:
The Life of a Logic Programming System. ICLP 2008: 1-6 - [c75]Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt:
On the Efficient Execution of ProbLog Programs. ICLP 2008: 175-189 - [c74]Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen:
Towards Typed Prolog. ICLP 2008: 693-697 - [c73]Carlos Abreu Ferreira, João Gama, Vítor Santos Costa:
RUSE-WARMR: Rule Selection for Classifier Induction in Multi-relational Data-Sets. ICTAI (1) 2008: 379-386 - [c72]Nuno A. Fonseca, Vítor Santos Costa, Rui Camacho:
k-RNN: k-relational nearest neighbour algorithm. SAC 2008: 944-948 - [c71]Leandro A. J. Marzulo, Felipe Maia Galvão França, Vítor Santos Costa:
Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations. SBAC-PAD 2008: 183-190 - [p1]Vítor Santos Costa, David Page, James Cussens:
CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. Probabilistic Inductive Logic Programming 2008: 156-188 - 2007
- [j13]Juliana S. Bernardes, Alberto M. R. Dávila, Vítor Santos Costa, Gerson Zaverucha:
Improving model construction of profile HMMs for remote homology detection through structural alignment. BMC Bioinform. 8 (2007) - [c70]Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes:
Demand-Driven Indexing of Prolog Clauses. ICLP 2007: 395-409 - [c69]Anderson Faustino da Silva, Vítor Santos Costa:
Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System. ICLP 2007: 410-424 - [c68]Jesse Davis, Vítor Santos Costa, Soumya Ray, David Page:
An integrated approach to feature invention and model construction for drug activity prediction. ICML 2007: 217-224 - [c67]Jesse Davis, Irene M. Ong, Jan Struyf, Elizabeth S. Burnside, David Page, Vítor Santos Costa:
Change of Representation for Statistical Relational Learning. IJCAI 2007: 2719-2726 - [c66]Rui Camacho, Nuno A. Fonseca, Ricardo Rocha, Vítor Santos Costa:
ILP : - Just Trie It. ILP 2007: 78-87 - [c65]Aline Paes, Gerson Zaverucha, Vítor Santos Costa:
Revising First-Order Logic Theories from Examples Through Stochastic Local Search. ILP 2007: 200-210 - [c64]Vítor Santos Costa:
Prolog Performance on Larger Datasets. PADL 2007: 185-199 - [i3]Juliana S. Bernardes, Alberto M. R. Dávila, Vítor Santos Costa, Gerson Zaverucha:
A study of structural properties on profiles HMMs. CoRR abs/0704.2010 (2007) - [i2]Leandro A. J. Marzulo, Felipe M. G. França, Vítor Santos Costa:
Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations. CoRR abs/0712.1167 (2007) - 2006
- [j12]Anderson Faustino da Silva, Vítor Santos Costa:
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. J. Univers. Comput. Sci. 12(7): 764-787 (2006) - [j11]Anderson Faustino da Silva, Vítor Santos Costa:
Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers. J. Univers. Comput. Sci. 12(7): 788-810 (2006) - [c63]Aline Paes, Kate Revoredo, Gerson Zaverucha, Vítor Santos Costa:
PFORTE: Revising Probabilistic FOL Theories. IBERAMIA-SBIA 2006: 441-450 - [c62]Anderson Faustino da Silva, Vítor Santos Costa:
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. ICLP 2006: 461-462 - [c61]Irene M. Ong, Scott E. Topper, C. David Page Jr., Vítor Santos Costa:
Inferring Regulatory Networks from Time Series Expression Data and Relational Data Via Inductive Logic Programming. ILP 2006: 366-378 - 2005
- [j10]Anderson Faustino da Silva, Vítor Santos Costa:
An Experimental Evaluation of JAVA JIT Technology. J. Univers. Comput. Sci. 11(7): 1291-1309 (2005) - [j9]Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
On Applying Or-Parallelism and Tabling to Logic Programs. Theory Pract. Log. Program. 5(1-2): 161-205 (2005) - [c60]Elizabeth S. Burnside, Jesse Davis, Vítor Santos Costa, Inês de Castro Dutra, Charles E. Kahn Jr., Jason Fine, David Page:
Knowledge Discovery from Structured Mammography Reports Using Inductive Logic Programming. AMIA 2005 - [c59]J. A. L. Sanches, Patrícia Kayser Vargas, Inês de Castro Dutra, Vítor Santos Costa, Cláudio F. R. Geyer:
ReGS: user-level reliability in a grid environment. CCGRID 2005: 718-725 - [c58]Nuno A. Fonseca, Fernando M. A. Silva, Vítor Santos Costa, Rui Camacho:
A pipelined data-parallel algorithm for ILP. CLUSTER 2005: 1-10 - [c57]Jesse Davis, Elizabeth S. Burnside, Inês de Castro Dutra, David Page, Vítor Santos Costa:
An Integrated Approach to Learning Bayesian Networks of Rules. ECML 2005: 84-95 - [c56]Irene M. Ong, Inês de Castro Dutra, David Page, Vítor Santos Costa:
Mode Directed Path Finding. ECML 2005: 673-681 - [c55]Ricardo Rocha, Nuno A. Fonseca, Vítor Santos Costa:
On Applying Tabling to Inductive Logic Programming. ECML 2005: 707-714 - [c54]Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. ICLP 2005: 250-264 - [c53]Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa:
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. ICLP 2005: 416-417 - [c52]Jesse Davis, Elizabeth S. Burnside, Inês de Castro Dutra, David Page, Raghu Ramakrishnan, Vítor Santos Costa, Jude W. Shavlik:
View Learning for Statistical Relational Learning: With an Application to Mammography. IJCAI 2005: 677-683 - [c51]Héctor Corrada Bravo, David Page, Raghu Ramakrishnan, Jude W. Shavlik, Vítor Santos Costa:
A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment. ILP 2005: 69-86 - [c50]Aline Paes, Kate Revoredo, Gerson Zaverucha, Vítor Santos Costa:
Probabilistic First-Order Theory Revision from Examples. ILP 2005: 295-311 - [c49]Ricardo Lopes, Vítor Santos Costa:
Improving Memory Usage in the BEAM. PADL 2005: 143-157 - 2004
- [c48]Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
Concurrent Table Accesses in Parallel Tabled Logic Programs. Euro-Par 2004: 662-670 - [c47]Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
Speculative Computations in Or-Parallel Tabled Logic Programs. ICLP 2004: 254-268 - [c46]Nuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho:
On Avoiding Redundancy in Inductive Logic Programming. ILP 2004: 132-146 - [c45]Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva:
Pruning in the Extended Andorra Model. PADL 2004: 120-134 - [c44]Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva:
Exploiting parallelism in the extended andorra model. Parallel and Distributed Computing and Networks 2004: 483-489 - 2003
- [j8]Vítor Santos Costa, Ashwin Srinivasan, Rui Camacho, Hendrik Blockeel, Bart Demoen, Gerda Janssens, Jan Struyf, Henk Vandecasteele, Wim Van Laer:
Query Transformations for Improving the Efficiency of ILP Systems. J. Mach. Learn. Res. 4: 465-491 (2003) - [c43]Vítor Santos Costa:
Performance Issues in Prolog Applications. EPIA 2003: 8 - [c42]Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva:
On the BEAM Implementation. EPIA 2003: 131-135 - [c41]Nuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho:
Experimental Evaluation of a Caching Technique for ILP. EPIA 2003: 151-155 - [c40]Inês de Castro Dutra, David Page, Vítor Santos Costa, Jude W. Shavlik, Michael Waddell:
Toward Automatic Management of Embarrassingly Parallel Applications. Euro-Par 2003: 509-516 - [c39]Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva:
On Deterministic Computations in the Extended Andorra Model. ICLP 2003: 407-421 - [c38]Vítor Santos Costa, David Page, Maleeha Qazi, James Cussens:
CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. UAI 2003: 517-524 - [i1]Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
On Applying Or-Parallelism and Tabling to Logic Programs. CoRR cs.LO/0308007 (2003) - 2002
- [c37]Marcelo Lobosco, Vítor Santos Costa, Claudio Luis de Amorim:
Performance Evaluation of Fast Ethernet, Giganet, and Myrinet on a Cluster. International Conference on Computational Science (1) 2002: 296-305 - [c36]Inês de Castro Dutra, David Page, Vítor Santos Costa, Jude W. Shavlik:
An Empirical Evaluation of Bagging in Inductive Logic Programming. ILP 2002: 48-65 - [c35]Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
Achieving Scalability in Parallel Tabled Logic Programs. IPDPS 2002 - [c34]Ricardo Lopes, Luís Fernando Castro, Vítor Santos Costa:
From simulation to practice: cache performance study of a Prolog system. MSP/ISMM 2002: 56-64 - [c33]Thobias S. Trevisan, Vítor Santos Costa, Lauro Whately, Claudio Luis de Amorim:
Distributed Shared Memory in Kernel Mode. SBAC-PAD 2002: 159-168 - 2001
- [c32]Luís Fernando Castro, Vítor Santos Costa:
Understanding Memory Management in Prolog Systems. ICLP 2001: 11-26 - [c31]Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
On a Tabling Engine That Can Exploit Or-Parallelism. ICLP 2001: 43-58 - [c30]Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva:
A Novel Implementation of the Extended Andorra Model. PADL 2001: 199-213 - 2000
- [j7]Vítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra:
Parallel Logic Programming Systems on Scalable Architectures. J. Parallel Distributed Comput. 60(7): 835-852 (2000) - [j6]Enrico Pontelli, Vítor Santos Costa:
PADL '00: Workshop on Practical Aspects of Declarative Languages. ACM SIGPLAN Notices 35(3): 16-17 (2000) - [c29]Inês de Castro Dutra, Vítor Santos Costa, Ricardo Bianchini:
The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems. Computational Logic 2000: 1285-1299 - [c28]Vítor Santos Costa, Ricardo Rocha, Fernando M. A. Silva:
Novel Models for Or-Parallel Logic Programs: A Performance Analysis. Euro-Par 2000: 744-753 - [c27]Vítor Santos Costa, Ashwin Srinivasan, Rui Camacho:
A Note on Two Simple Transformations for Improving the Efficiency of an ILP System. ILP 2000: 225-242 - [e2]Enrico Pontelli, Vítor Santos Costa:
Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings. Lecture Notes in Computer Science 1753, Springer 2000, ISBN 3-540-66992-2 [contents]
1990 – 1999
- 1999
- [j5]Kish Shen, Vítor Santos Costa, Andy King:
Distance: A New Metric for Controlling Granularity for Parallel Execution. J. Funct. Log. Program. 1999(Special Issue 1) (1999) - [c26]Ricardo Lopes, Vítor Santos Costa:
The BEAM: A first EAM Implementation. APPIA-GULP-PRODE 1999: 425-440 - [c25]Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
YapOr: an Or-Parallel Prolog System Based on Environment Copying. EPIA 1999: 178-192 - [c24]Luís Fernando Castro, Vítor Santos Costa, Cláudio F. R. Geyer, Fernando M. A. Silva, Patrícia Kayser Vargas, Manuel Eduardo Correia:
DAOS - Scalable And-Or Parallelism. Euro-Par 1999: 899-908 - [c23]Vítor Santos Costa:
COWL: Copy-On-Write for Logic Programs. IPPS/SPDP 1999: 720-727 - [c22]Marcio G. Silva, Inês de Castro Dutra, Ricardo Bianchini, Vítor Santos Costa:
The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems. PADL 1999: 122-136 - [c21]Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa:
Or-Parallelism within Tabling. PADL 1999: 137-151 - [c20]Vítor Santos Costa:
Optimising Bytecode Emulation for Prolog. PPDP 1999: 261-277 - [c19]Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk:
Preface. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP 1999: 1-2 - [c18]Manuel Eduardo Correia, Vítor Santos Costa:
IAP for dummies: The YAP Design. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP 1999: 106-121 - [e1]Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk:
Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999. Electronic Notes in Theoretical Computer Science 30(3), Elsevier 1999 [contents] - 1998
- [c17]Vítor Santos Costa, Ricardo Bianchini:
Optimising Parallel Logic Programming Systems for Scalable Machines. Euro-Par 1998: 830-841 - [c16]Kish Shen, Vítor Santos Costa, Andy King:
Distance: A New Metric for Controlling Granularity for Parallel Execution. IJCSLP 1998: 85-99 - [c15]Nuno A. Fonseca, Vítor Santos Costa, Inês de Castro Dutra:
VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs. IJCSLP 1998: 100-114 - 1997
- [c14]Vítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra:
Evaluating parallel logic programming systems on scalable multiprocessors. PASCO 1997: 58-67 - [c13]Vítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra:
Evaluating the impact of coherence protocols on parallel logic programming systems. PDP 1997: 376-381 - [c12]Manuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa:
The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. ILPS 1997: 117-131 - 1996
- [j4]Gopal Gupta, Vítor Santos Costa:
Cuts and Side-Effects in And-Or Parallel Prolog. J. Log. Program. 27(1): 45-71 (1996) - [j3]Vítor Santos Costa, David H. D. Warren, Rong Yang:
Andorra-I Compilation. New Gener. Comput. 14(1): 3-30 (1996) - 1995
- [c11]Gopal Gupta, Vítor Santos Costa, Enrico Pontelli:
Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. ICLP 1995: 824 - 1994
- [j2]Gopal Gupta, Vítor Santos Costa:
Optimal implementation of and-or parallel Prolog. Future Gener. Comput. Syst. 10(1): 71-92 (1994) - [c10]Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa:
ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP 1994: 93-109 - [c9]Vítor Santos Costa, Manuel Eduardo Correia, Fernando M. A. Silva:
Aurora, Andorra-I and Friends on the Sun. Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 32-41 - 1993
- [b1]Vítor Manuel de Morais Santos Costa:
Compile-time analysis for the parallel execution of logic programs in Andorra-1. University of Bristol, UK, 1993 - [j1]Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa:
And-Or Parallel Prolog: A Recomputation Based Approach. New Gener. Comput. 11(3): 297-321 (1993) - [c8]Rong Yang, Tony Beaumont, Inês de Castro Dutra, Vítor Santos Costa, David H. D. Warren:
Performance of the Compiler-Based Andorra-I System. ICLP 1993: 150-166 - 1992
- [c7]Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa:
Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. IJCSLP Workshop on Concurrent and Parallel Implementations 1992 - [c6]Gopal Gupta, Vítor Santos Costa:
And-Or Parallelism in Full Prolog with Paged Binding Arrays. PARLE 1992: 617-632 - [c5]Gopal Gupta, Vítor Santos Costa:
Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog. SPDP 1992: 288-295 - 1991
- [c4]Vítor Santos Costa, David H. D. Warren, Rong Yang:
The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model. ICLP 1991: 443-456 - [c3]Vítor Santos Costa, David H. D. Warren, Rong Yang:
The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model. ICLP 1991: 825-839 - [c2]Vítor Santos Costa, David H. D. Warren, Rong Yang:
Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism. PPoPP 1991: 83-93 - [c1]Gopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo:
IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. ISLP 1991: 152-166
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-13 00:36 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
