Vítor Santos Costa

Orcid: 0000-0002-3344-8237

Affiliations:
  • 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:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog.
Int. J. Parallel Program., June, 2024

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus.
CoRR, 2024

Regular Typed Unification.
CoRR, 2024

2023
Using Balancing Methods to Improve Glycaemia-Based Data Mining.
Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023

2022
Fifty Years of Prolog and Beyond.
Theory Pract. Log. Program., 2022

50 Years of Prolog and Beyond.
CoRR, 2022

Typed SLD-Resolution: Dynamic Typing for Logic Programming.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2022

Impact of the glycaemic sampling method in diabetes data mining.
Proceedings of the IEEE Symposium on Computers and Communications, 2022

2021
Biased resampling strategies for imbalanced spatio-temporal forecasting.
Int. J. Data Sci. Anal., 2021

NeuralLog: a Neural Logic Language.
CoRR, 2021

SicknessMiner: a deep-learning-driven text-mining tool to abridge disease-disease associations.
BMC Bioinform., 2021

Data Type Inference for Logic Programming.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2021

Online Learning of Logic Based Neural Network Structures.
Proceedings of the Inductive Logic Programming - 30th International Conference, 2021

Predictive Maintenance for Sensor Enhancement in Industry 4.0.
Proceedings of the Recent Challenges in Intelligent Information and Database Systems, 2021

2020
Overcoming Reinforcement Learning Limits with Inductive Logic Programming.
Proceedings of the Trends and Innovations in Information Systems and Technologies, 2020

From Reinforcement Learning Towards Artificial General Intelligence.
Proceedings of the Trends and Innovations in Information Systems and Technologies, 2020

2019
Contrasting logical sequences in multi-relational learning.
Prog. Artif. Intell., 2019

A Three-Valued Semantics for Typed Logic Programming.
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
Evaluation Procedures for Forecasting with Spatio-Temporal Data.
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

Markov logic networks for adverse drug event extraction from text.
Knowl. Inf. Syst., 2017

Managing Diabetes: Counselling Supported by User Data in a Mobile Platform.
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

Relational Learning with GPUs: Accelerating Rule Coverage.
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
Exploring multi-relational temporal databases with a propositional sequence miner.
Prog. Artif. Intell., 2015

Guest editors' introduction: special issue on Inductive Logic Programming and on Multi-Relational Learning.
Mach. Learn., 2015

Processing Markov Logic Networks with GPUs: Accelerating Network Grounding.
Proceedings of the Inductive Logic Programming - 25th International Conference, 2015

Predicting Drugs Adverse Side-Effects Using a Recommender-System.
Proceedings of the Discovery Science - 18th International Conference, 2015

Predicting Adverse Drug Events from Electronic Medical Records.
Proceedings of the Foundations of Biomedical Knowledge Representation, 2015

2014
Lifted Variable Elimination for Probabilistic Logic Programming.
Theory Pract. Log. Program., 2014

Couillard: Parallel programming via coarse-grained Data-flow Compilation.
Parallel Comput., 2014

Relational machine learning for electronic health record-driven phenotyping.
J. Biomed. Informatics, 2014

Support Vector Machines for Differential Prediction.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2014

PrologCheck - Property-Based Testing in Prolog.
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

Discovering Differentially Expressed Genes in Yeast Stress Data.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

Towards Using Probabilities and Logic to Model Regulatory Networks.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

2013
BigYAP: Exo-compilation meets UDI.
Theory Pract. Log. Program., 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

Integrative Functional Statistics in Logic Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2013

A Datalog Engine for GPUs.
Proceedings of the Declarative Programming and Knowledge Management, 2013

2012
A design and implementation of the Extended Andorra Model.
Theory Pract. Log. Program., 2012

Introduction to the 28th international conference on logic programming special issue.
Theory Pract. Log. Program., 2012

The YAP Prolog system.
Theory Pract. Log. Program., 2012

Predicting the secondary structure of proteins using machine learning algorithms.
Int. J. Data Min. Bioinform., 2012

Evaluating Inference Algorithms for the Prolog Factor Language.
Proceedings of the 2nd International Workshop on Statistical Relational AI (StaRAI-12), 2012

Relational Differential Prediction.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2012

Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

A Problog Model for Analyzing Gene Regulatory Networks.
Proceedings of the Late Breaking Papers of the 22nd International Conference on Inductive Logic Programming, 2012

Demand-Driven Clustering in Relational Domains for Predicting Adverse Drug Events.
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

Predicting Ramp Events with a Stream-Based HMM Framework.
Proceedings of the Discovery Science - 15th International Conference, 2012

Identifying Adverse Drug Events by Relational Learning.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
On the implementation of the probabilistic logic programming language ProbLog.
Theory Pract. Log. Program., 2011

A Relational Learning Approach to Structure-Activity Relationships in Drug Design Toxicity Studies.
J. Integr. Bioinform., 2011

Trebuchet: exploring TLP with dataflow virtualisation.
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

On the Portability of Prolog Applications.
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

Sequential Pattern Knowledge in Multi-Relational Learning.
Proceedings of the Computer and Information Sciences II, 2011

Conceptual Clustering of Multi-Relational Data.
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

Predictive Sequence Miner in ILP Learning.
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

Constrained Sequential Pattern Knowledge in Multi-relational Learning.
Proceedings of the Progress in Artificial Intelligence, 2011

2010
Threads and or-parallelism unified.
Theory Pract. Log. Program., 2010

Portability of Prolog programs: theory and case-studies
CoRR, 2010

TALM: A Hybrid Execution Model with Distributed Speculation Support.
Proceedings of the 22nd International Symposium on Computer Architecture and High Performance Computing Workshops, 2010

On the Implementation of the CLP(<i>B</i><i>N</i>\mathcal BN) Language.
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

Fire! Firing Inductive Rules from Economic Geography for Fire Risk Detection.
Proceedings of the Inductive Logic Programming - 20th International Conference, 2010

Interactive Discriminative Mining of Chemical Fragments.
Proceedings of the Inductive Logic Programming - 20th International Conference, 2010

Probabilistic Inductive Querying Using ProbLog.
Proceedings of the Inductive Databases and Constraint-Based Data Mining., 2010

2009
Improving the efficiency of inductive logic programming systems.
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

Visually Guiding and Controlling the Search While Mining Chemical Structures.
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

User Defined Indexing.
Proceedings of the Logic Programming, 25th International Conference, 2009

On Just in Time Indexing of Dynamic Predicates in Prolog.
Proceedings of the Progress in Artificial Intelligence, 2009

Sequential Pattern Mining in Multi-relational Datasets.
Proceedings of the Current Topics in Artificial Intelligence, 2009

2008
Compile the Hypothesis Space: Do it Once, Use it Often.
Fundam. Informaticae, 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

k-RNN: k-relational nearest neighbour algorithm.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

CLP(<i>BN</i>): Constraint Logic Programming for Probabilistic Knowledge.
Proceedings of the Probabilistic Inductive Logic Programming - Theory and Applications, 2008

RUSE-WARMR: Rule Selection for Classifier Induction in Multi-relational Data-Sets.
Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

Towards Typed Prolog.
Proceedings of the Logic Programming, 24th International Conference, 2008

On the Efficient Execution of ProbLog Programs.
Proceedings of the Logic Programming, 24th International Conference, 2008

The Life of a Logic Programming System.
Proceedings of the Logic Programming, 24th International Conference, 2008

LogCHEM: Interactive Discriminative Mining of Chemical Structure.
Proceedings of the 2008 IEEE International Conference on Bioinformatics and Biomedicine, 2008

2007
A study of structural properties on profiles HMMs
CoRR, 2007

Improving model construction of profile HMMs for remote homology detection through structural alignment.
BMC Bioinform., 2007

Prolog Performance on Larger Datasets.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Revising First-Order Logic Theories from Examples Through Stochastic Local Search.
Proceedings of the Inductive Logic Programming, 17th International Conference, 2007

ILP : - Just Trie It.
Proceedings of the Inductive Logic Programming, 17th International Conference, 2007

Change of Representation for Statistical Relational Learning.
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

Demand-Driven Indexing of Prolog Clauses.
Proceedings of the Logic Programming, 23rd International Conference, 2007

2006
Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers.
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

PFORTE: Revising Probabilistic FOL Theories.
Proceedings of the Advances in Artificial Intelligence, 2006

2005
On Applying Or-Parallelism and Tabling to Logic Programs.
Theory Pract. Log. Program., 2005

An Experimental Evaluation of JAVA JIT Technology.
J. Univers. Comput. Sci., 2005

Improving Memory Usage in the BEAM.
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

Probabilistic First-Order Theory Revision from Examples.
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

Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs.
Proceedings of the Logic Programming, 21st International Conference, 2005

IMPACT: Innovative Models for Prolog with Advanced Control and Tabling.
Proceedings of the Logic Programming, 21st International Conference, 2005

On Applying Tabling to Inductive Logic Programming.
Proceedings of the Machine Learning: ECML 2005, 2005

Mode Directed Path Finding.
Proceedings of the Machine Learning: ECML 2005, 2005

An Integrated Approach to Learning Bayesian Networks of Rules.
Proceedings of the Machine Learning: ECML 2005, 2005

A pipelined data-parallel algorithm for ILP.
Proceedings of the 2005 IEEE International Conference on Cluster Computing (CLUSTER 2005), September 26, 2005

ReGS: user-level reliability in a grid environment.
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

Pruning in the Extended Andorra Model.
Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

On Avoiding Redundancy in Inductive Logic Programming.
Proceedings of the Inductive Logic Programming, 14th International Conference, 2004

Speculative Computations in Or-Parallel Tabled Logic Programs.
Proceedings of the Logic Programming, 20th International Conference, 2004

Concurrent Table Accesses in Parallel Tabled Logic Programs.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

2003
Query Transformations for Improving the Efficiency of ILP Systems.
J. Mach. Learn. Res., 2003

CLP(BN): Constraint Logic Programming for Probabilistic Knowledge.
Proceedings of the UAI '03, 2003

On Deterministic Computations in the Extended Andorra Model.
Proceedings of the Logic Programming, 19th International Conference, 2003

Toward Automatic Management of Embarrassingly Parallel Applications.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003

On the BEAM Implementation.
Proceedings of the Progress in Artificial Intelligence, 2003

Experimental Evaluation of a Caching Technique for ILP.
Proceedings of the Progress in Artificial Intelligence, 2003

Performance Issues in Prolog Applications.
Proceedings of the Progress in Artificial Intelligence, 2003

2002
Distributed Shared Memory in Kernel Mode.
Proceedings of the 14th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2002), 2002

From simulation to practice: cache performance study of a Prolog system.
Proceedings of The Workshop on Memory Systems Performance (MSP 2002), 2002

Achieving Scalability in Parallel Tabled Logic Programs.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

An Empirical Evaluation of Bagging in Inductive Logic Programming.
Proceedings of the Inductive Logic Programming, 12th International Conference, 2002

Performance Evaluation of Fast Ethernet, Giganet, and Myrinet on a Cluster.
Proceedings of the Computational Science - ICCS 2002, 2002

2001
A Novel Implementation of the Extended Andorra Model.
Proceedings of the Practical Aspects of Declarative Languages, 2001

On a Tabling Engine That Can Exploit Or-Parallelism.
Proceedings of the Logic Programming, 17th International Conference, 2001

Understanding Memory Management in Prolog Systems.
Proceedings of the Logic Programming, 17th International Conference, 2001

2000
PADL '00: Workshop on Practical Aspects of Declarative Languages.
ACM SIGPLAN Notices, 2000

Parallel Logic Programming Systems on Scalable Architectures.
J. Parallel Distributed Comput., 2000

A Note on Two Simple Transformations for Improving the Efficiency of an ILP System.
Proceedings of the Inductive Logic Programming, 10th International Conference, 2000

Novel Models for Or-Parallel Logic Programs: A Performance Analysis.
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems.
Proceedings of the Computational Logic, 2000

1999
Preface.
Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

IAP for dummies: The YAP Design.
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

Optimising Bytecode Emulation for Prolog.
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

Or-Parallelism within Tabling.
Proceedings of the Practical Aspects of Declarative Languages, 1999

COWL: Copy-On-Write for Logic Programs.
Proceedings of the 13th International Parallel Processing Symposium / 10th Symposium on Parallel and Distributed Processing (IPPS / SPDP '99), 1999

DAOS - Scalable And-Or Parallelism.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

YapOr: an Or-Parallel Prolog System Based on Environment Copying.
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

Optimising Parallel Logic Programming Systems for Scalable Machines.
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

Evaluating parallel logic programming systems on scalable multiprocessors.
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

1996
Andorra-I Compilation.
New Gener. Comput., 1996

Cuts and Side-Effects in And-Or Parallel Prolog.
J. Log. Program., 1996

1995
Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming.
Proceedings of the Logic Programming, 1995

1994
Optimal implementation of and-or parallel Prolog.
Future Gener. Comput. Syst., 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
Compile-time analysis for the parallel execution of logic programs in Andorra-1.
PhD thesis, 1993

And-Or Parallel Prolog: A Recomputation Based Approach.
New Gener. Comput., 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

And-Or Parallelism in Full Prolog with Paged Binding Arrays.
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


  Loading...