Vítor Santos Costa
Orcid: 0000-0002-3344-8237Affiliations:
- University of Porto, Portugal
- University of Bristol, UK (PhD 1993)
According to our database1,
Vítor Santos Costa
authored at least 176 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on scopus.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
Int. J. Parallel Program., June, 2024
Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus.
CoRR, 2024
2023
Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023
2022
Proceedings of the Logic-Based Program Synthesis and Transformation, 2022
Proceedings of the IEEE Symposium on Computers and Communications, 2022
2021
Int. J. Data Sci. Anal., 2021
SicknessMiner: a deep-learning-driven text-mining tool to abridge disease-disease associations.
BMC Bioinform., 2021
Proceedings of the Logic-Based Program Synthesis and Transformation, 2021
Proceedings of the Inductive Logic Programming - 30th International Conference, 2021
Proceedings of the Recent Challenges in Intelligent Information and Database Systems, 2021
2020
Proceedings of the Trends and Innovations in Information Systems and Technologies, 2020
Proceedings of the Trends and Innovations in Information Systems and Technologies, 2020
2019
Prog. Artif. Intell., 2019
Proceedings of the Proceedings 35th International Conference on Logic Programming (Technical Communications), 2019
Machine Learning to Predict Developmental Neurotoxicity with High-Throughput Data from 2D Bio-Engineered Tissues.
Proceedings of the 18th IEEE International Conference On Machine Learning And Applications, 2019
2018
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2018
2017
On the use of stochastic local search techniques to revise first-order logic theories from examples.
Mach. Learn., 2017
Knowl. Inf. Syst., 2017
Proceedings of the Doctoral Consortium, 2017
Pharmacovigilance via Baseline Regularization with Large-Scale Longitudinal Observational Data.
Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Halifax, NS, Canada, August 13, 2017
Managing diabetes: Pattern discovery and counselling supported by user data in a mobile platform.
Proceedings of the 2017 IEEE Symposium on Computers and Communications, 2017
2016
Parallel Algorithms for Multirelational Data Mining: Application to Life Science Problems.
Proceedings of the Resource Management for Big Data Platforms, 2016
Int. J. Parallel Program., 2016
Predicting Wildfires - Propositional and Relational Spatio-Temporal Pre-processing Approaches.
Proceedings of the Discovery Science - 19th International Conference, 2016
2015
Prog. Artif. Intell., 2015
Guest editors' introduction: special issue on Inductive Logic Programming and on Multi-Relational Learning.
Mach. Learn., 2015
Proceedings of the Inductive Logic Programming - 25th International Conference, 2015
Proceedings of the Discovery Science - 18th International Conference, 2015
Proceedings of the Foundations of Biomedical Knowledge Representation, 2015
2014
Theory Pract. Log. Program., 2014
Parallel Comput., 2014
J. Biomed. Informatics, 2014
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2014
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014
2013
Score As You Lift (SAYL): A Statistical Relational Learning Approach to Uplift Modeling.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2013
Proceedings of the Practical Aspects of Declarative Languages, 2013
Proceedings of the Declarative Programming and Knowledge Management, 2013
2012
Theory Pract. Log. Program., 2012
Introduction to the 28th international conference on logic programming special issue.
Theory Pract. Log. Program., 2012
Int. J. Data Min. Bioinform., 2012
Proceedings of the 2nd International Workshop on Statistical Relational AI (StaRAI-12), 2012
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2012
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012
Proceedings of the Late Breaking Papers of the 22nd International Conference on Inductive Logic Programming, 2012
Proceedings of the 29th International Conference on Machine Learning, 2012
Unachievable Region in Precision-Recall Space and Its Effect on Empirical Evaluation.
Proceedings of the 29th International Conference on Machine Learning, 2012
Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
Proceedings of the Discovery Science - 15th International Conference, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
2011
Theory Pract. Log. Program., 2011
A Relational Learning Approach to Structure-Activity Relationships in Drug Design Toxicity Studies.
J. Integr. Bioinform., 2011
Int. J. High Perform. Syst. Archit., 2011
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, 2011
Proceedings of the Practical Aspects of Declarative Languages, 2011
Assessing the Effect of 2D Fingerprint Filtering on ILP-Based Structure-Activity Relationships Toxicity Studies in Drug Design.
Proceedings of the 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, 2011
Proceedings of the Computer and Information Sciences II, 2011
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011
Proceedings of the Progress in Artificial Intelligence, 2011
2010
Proceedings of the 22nd International Symposium on Computer Architecture and High Performance Computing Workshops, 2010
Proceedings of the Practical Aspects of Declarative Languages, 2010
Predicting the Start of Protein <i>alpha</i>-Helices Using Machine Learning Algorithms.
Proceedings of the Advances in Bioinformatics, 2010
Proceedings of the Inductive Logic Programming - 20th International Conference, 2010
Proceedings of the Inductive Logic Programming - 20th International Conference, 2010
Proceedings of the Inductive Databases and Constraint-Based Data Mining., 2010
2009
Softw. Pract. Exp., 2009
Comparative Study of Classification Algorithms Using Molecular Descriptors in Toxicological DataBases.
Proceedings of the Advances in Bioinformatics and Computational Biology, 2009
Proceedings of the Distributed Computing, 2009
Partitional Clustering of Protein Sequences - An Inductive Logic Programming Approach.
Proceedings of the Distributed Computing, 2009
Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples.
Proceedings of the Inductive Logic Programming, 19th International Conference, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Progress in Artificial Intelligence, 2009
Proceedings of the Current Topics in Artificial Intelligence, 2009
2008
Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations.
Proceedings of the 20th International Symposium on Computer Architecture and High Performance Computing, 2008
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Proceedings of the Probabilistic Inductive Logic Programming - Theory and Applications, 2008
Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the 2008 IEEE International Conference on Bioinformatics and Biomedicine, 2008
2007
Improving model construction of profile HMMs for remote homology detection through structural alignment.
BMC Bioinform., 2007
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007
Proceedings of the Inductive Logic Programming, 17th International Conference, 2007
Proceedings of the Inductive Logic Programming, 17th International Conference, 2007
Proceedings of the IJCAI 2007, 2007
An integrated approach to feature invention and model construction for drug activity prediction.
Proceedings of the Machine Learning, 2007
Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System.
Proceedings of the Logic Programming, 23rd International Conference, 2007
Proceedings of the Logic Programming, 23rd International Conference, 2007
2006
J. Univers. Comput. Sci., 2006
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages.
J. Univers. Comput. Sci., 2006
Inferring Regulatory Networks from Time Series Expression Data and Relational Data Via Inductive Logic Programming.
Proceedings of the Inductive Logic Programming, 16th International Conference, 2006
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages.
Proceedings of the Logic Programming, 22nd International Conference, 2006
Proceedings of the Advances in Artificial Intelligence, 2006
2005
Theory Pract. Log. Program., 2005
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005
Proceedings of the Inductive Logic Programming, 15th International Conference, 2005
A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment.
Proceedings of the Inductive Logic Programming, 15th International Conference, 2005
View Learning for Statistical Relational Learning: With an Application to Mammography.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the Logic Programming, 21st International Conference, 2005
Proceedings of the Logic Programming, 21st International Conference, 2005
Proceedings of the Machine Learning: ECML 2005, 2005
Proceedings of the Machine Learning: ECML 2005, 2005
Proceedings of the 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26, 2005
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005
Knowledge Discovery from Structured Mammography Reports Using Inductive Logic Programming.
Proceedings of the AMIA 2005, 2005
2004
Exploiting parallelism in the extended andorra model.
Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, 2004
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004
Proceedings of the Inductive Logic Programming, 14th International Conference, 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
Proceedings of the Euro-Par 2004 Parallel Processing, 2004
2003
J. Mach. Learn. Res., 2003
Proceedings of the UAI '03, 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
Proceedings of the Euro-Par 2003. Parallel Processing, 2003
Proceedings of the Progress in Artificial Intelligence, 2003
Proceedings of the Progress in Artificial Intelligence, 2003
Proceedings of the Progress in Artificial Intelligence, 2003
2002
Proceedings of the 14th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2002), 2002
Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002
Proceedings of the Inductive Logic Programming, 12th International Conference, 2002
Proceedings of the Computational Science - ICCS 2002, 2002
2001
Proceedings of the Practical Aspects of Declarative Languages, 2001
Proceedings of the Logic Programming, 17th International Conference, 2001
Proceedings of the Logic Programming, 17th International Conference, 2001
2000
PADL '00: Workshop on Practical Aspects of Declarative Languages.
ACM SIGPLAN Notices, 2000
J. Parallel Distributed Comput., 2000
Proceedings of the Inductive Logic Programming, 10th International Conference, 2000
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000
Proceedings of the Computational Logic, 2000
1999
Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999
Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999
Distance: A New Metric for Controlling Granularity for Parallel Execution.
J. Funct. Log. Program., 1999
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999
The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems.
Proceedings of the Practical Aspects of Declarative Languages, 1999
Proceedings of the Practical Aspects of Declarative Languages, 1999
Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999
Proceedings of the Progress in Artificial Intelligence, 1999
The BEAM: A first EAM Implementation.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999
1998
VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998
Proceedings of the Euro-Par '98 Parallel Processing, 1998
1997
The SBA: Exploiting Orthogonality in AND-OR Parallel Systems.
Proceedings of the Logic Programming, 1997
Evaluating the impact of coherence protocols on parallel logic programming systems.
Proceedings of the Fifth Euromicro Workshop on Parallel and Distributed Processing (PDP '97), 1997
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997
1996
1995
Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming.
Proceedings of the Logic Programming, 1995
1994
Aurora, Andorra-I and Friends on the Sun.
Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, 1994
ACE: And/Or-parallel Copying-based Execution of Logic Programs.
Proceedings of the Logic Programming, 1994
1993
PhD thesis, 1993
Performance of the Compiler-Based Andorra-I System.
Proceedings of the Logic Programming, 1993
1992
Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog.
Proceedings of the Fourth IEEE Symposium on Parallel and Distributed Processing, 1992
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992
Generalized Stack-copying for And-Or Parallel Execution of Full Prolog.
Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992
1991
IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991
Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism.
Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991
The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model.
Proceedings of the Logic Programming, 1991
The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model.
Proceedings of the Logic Programming, 1991