The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model. - Vítor Santos Costa; David H. D. Warren; Rong Yang 004 (ICLP, 1991)

The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model. - Vítor Santos Costa; David H. D. Warren; Rong Yang 004 (ICLP, 1991)

Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism. - Vítor Santos Costa; David H. D. Warren; Rong Yang 004 (PPoPP, 1991)

IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. - Gopal Gupta 001; Vítor Santos Costa; Rong Yang 004; Manuel V. Hermenegildo (ISLP, 1991)

Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. - Gopal Gupta 001; Manuel V. Hermenegildo; Vítor Santos Costa (IJCSLP Workshop on Concurrent and Parallel Implementations, 1992)

And-Or Parallelism in Full Prolog with Paged Binding Arrays. - Gopal Gupta 001; Vítor Santos Costa (PARLE, 1992)

Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog. - Gopal Gupta 001; Vítor Santos Costa (SPDP, 1992)

Performance of the Compiler-Based Andorra-I System. - Rong Yang 004; Tony Beaumont; Inês de Castro Dutra; Vítor Santos Costa; David H. D. Warren (ICLP, 1993)

And-Or Parallel Prolog: A Recomputation Based Approach. - Gopal Gupta 001; Manuel V. Hermenegildo; Vítor Santos Costa (New Gener. Comput., 1993)

Compile-time analysis for the parallel execution of logic programs in Andorra-1. - Vítor Manuel de Morais Santos Costa (1993)

ACE: And/Or-parallel Copying-based Execution of Logic Programs. - Gopal Gupta 001; Manuel V. Hermenegildo; Enrico Pontelli; Vítor Santos Costa (ICLP, 1994)

Aurora, Andorra-I and Friends on the Sun. - Vítor Santos Costa; Manuel Eduardo Correia; Fernando M. A. Silva (Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994)

Optimal implementation of and-or parallel Prolog. - Gopal Gupta 001; Vítor Santos Costa (Future Gener. Comput. Syst., 1994)

Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming. - Gopal Gupta 001; Vítor Santos Costa; Enrico Pontelli (ICLP, 1995)

Cuts and Side-Effects in And-Or Parallel Prolog. - Gopal Gupta 001; Vítor Santos Costa (J. Log. Program., 1996)

Andorra-I Compilation. - Vítor Santos Costa; David H. D. Warren; Rong Yang 004 (New Gener. Comput., 1996)

Evaluating parallel logic programming systems on scalable multiprocessors. - Vítor Santos Costa; Ricardo Bianchini; Inês de Castro Dutra (PASCO, 1997)

Evaluating the impact of coherence protocols on parallel logic programming systems. - Vítor Santos Costa; Ricardo Bianchini; Inês de Castro Dutra (PDP, 1997)

The SBA: Exploiting Orthogonality in AND-OR Parallel Systems. - Manuel Eduardo Correia; Fernando M. A. Silva; Vítor Santos Costa (ILPS, 1997)

Optimising Parallel Logic Programming Systems for Scalable Machines. - Vítor Santos Costa; Ricardo Bianchini (Euro-Par, 1998)

VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs. - Nuno A. Fonseca; Vítor Santos Costa; Inês de Castro Dutra (IJCSLP, 1998)

The BEAM: A first EAM Implementation. - Ricardo Lopes; Vítor Santos Costa (APPIA-GULP-PRODE, 1999)

YapOr: an Or-Parallel Prolog System Based on Environment Copying. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (EPIA, 1999)

DAOS - Scalable And-Or Parallelism. - Luís Fernando Castro; Vítor Santos Costa; Cláudio F. R. Geyer; Fernando M. A. Silva; Patrícia Kayser Vargas; Manuel Eduardo Correia (Euro-Par, 1999)

COWL: Copy-On-Write for Logic Programs. - Vítor Santos Costa (IPPS/SPDP, 1999)

Or-Parallelism within Tabling. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (PADL, 1999)

The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems. - Marcio G. Silva; Inês de Castro Dutra; Ricardo Bianchini; Vítor Santos Costa (PADL, 1999)

Optimising Bytecode Emulation for Prolog. - Vítor Santos Costa (PPDP, 1999)

Distance: A New Metric for Controlling Granularity for Parallel Execution. - Kish Shen; Vítor Santos Costa; Andy King (J. Funct. Log. Program., 1999)

IAP for dummies: The YAP Design. - Manuel Eduardo Correia; Vítor Santos Costa (Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, 1999)

Preface. - Inês de Castro Dutra; Vítor Santos Costa; Gopal Gupta 001; Enrico Pontelli; Manuel Carro; Péter Kacsuk (Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, 1999)

The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems. - Inês de Castro Dutra; Vítor Santos Costa; Ricardo Bianchini (Computational Logic, 2000)

Novel Models for Or-Parallel Logic Programs: A Performance Analysis. - Vítor Santos Costa; Ricardo Rocha 001; Fernando M. A. Silva (Euro-Par, 2000)

A Note on Two Simple Transformations for Improving the Efficiency of an ILP System. - Vítor Santos Costa; Ashwin Srinivasan 001; Rui Camacho (ILP, 2000)

Parallel Logic Programming Systems on Scalable Architectures. - Vítor Santos Costa; Ricardo Bianchini; Inês de Castro Dutra (J. Parallel Distributed Comput., 2000)

PADL '00: Workshop on Practical Aspects of Declarative Languages. - Enrico Pontelli; Vítor Santos Costa (ACM SIGPLAN Notices, 2000)

Understanding Memory Management in Prolog Systems. - Luís Fernando Castro; Vítor Santos Costa (ICLP, 2001)

On a Tabling Engine That Can Exploit Or-Parallelism. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (ICLP, 2001)

A Novel Implementation of the Extended Andorra Model. - Ricardo Lopes; Vítor Santos Costa; Fernando M. A. Silva (PADL, 2001)

Performance Evaluation of Fast Ethernet, Giganet, and Myrinet on a Cluster. - Marcelo Lobosco; Vítor Santos Costa; Claudio Luis de Amorim (International Conference on Computational Science (1), 2002)

An Empirical Evaluation of Bagging in Inductive Logic Programming. - Inês de Castro Dutra; David Page; Vítor Santos Costa; Jude W. Shavlik (ILP, 2002)

Achieving Scalability in Parallel Tabled Logic Programs. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (IPDPS, 2002)

From simulation to practice: cache performance study of a Prolog system. - Ricardo Lopes; Luís Fernando Castro; Vítor Santos Costa (MSP/ISMM, 2002)

Distributed Shared Memory in Kernel Mode. - Thobias S. Trevisan; Vítor Santos Costa; Lauro Whately; Claudio Luis de Amorim (SBAC-PAD, 2002)

Performance Issues in Prolog Applications. - Vítor Santos Costa (EPIA, 2003)

Experimental Evaluation of a Caching Technique for ILP. - Nuno A. Fonseca; Vítor Santos Costa; Fernando M. A. Silva; Rui Camacho (EPIA, 2003)

On the BEAM Implementation. - Ricardo Lopes; Vítor Santos Costa; Fernando M. A. Silva (EPIA, 2003)

Toward Automatic Management of Embarrassingly Parallel Applications. - Inês de Castro Dutra; David Page; Vítor Santos Costa; Jude W. Shavlik; Michael Waddell (Euro-Par, 2003)

On Deterministic Computations in the Extended Andorra Model. - Ricardo Lopes; Vítor Santos Costa; Fernando M. A. Silva (ICLP, 2003)

CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. - Vítor Santos Costa; David Page; Maleeha Qazi; James Cussens (UAI, 2003)

Query Transformations for Improving the Efficiency of ILP Systems. - Vítor Santos Costa; Ashwin Srinivasan 001; Rui Camacho; Hendrik Blockeel; Bart Demoen; Gerda Janssens; Jan Struyf; Henk Vandecasteele; Wim Van Laer (J. Mach. Learn. Res., 2003)

Concurrent Table Accesses in Parallel Tabled Logic Programs. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (Euro-Par, 2004)

Speculative Computations in Or-Parallel Tabled Logic Programs. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (ICLP, 2004)

On Avoiding Redundancy in Inductive Logic Programming. - Nuno A. Fonseca; Vítor Santos Costa; Fernando M. A. Silva; Rui Camacho (ILP, 2004)

Pruning in the Extended Andorra Model. - Ricardo Lopes; Vítor Santos Costa; Fernando M. A. Silva (PADL, 2004)

Exploiting parallelism in the extended andorra model. - Ricardo Lopes; Vítor Santos Costa; Fernando M. A. Silva (Parallel and Distributed Computing and Networks, 2004)

Knowledge Discovery from Structured Mammography Reports Using Inductive Logic Programming. - Elizabeth S. Burnside; Jesse Davis; Vítor Santos Costa; Inês de Castro Dutra; Charles E. Kahn Jr.; Jason Fine; David Page (AMIA, 2005)

ReGS: user-level reliability in a grid environment. - J. A. L. Sanches; Patrícia Kayser Vargas; Inês de Castro Dutra; Vítor Santos Costa; Cláudio F. R. Geyer (CCGRID, 2005)

A pipelined data-parallel algorithm for ILP. - Nuno A. Fonseca; Fernando M. A. Silva; Vítor Santos Costa; Rui Camacho (CLUSTER, 2005)

An Integrated Approach to Learning Bayesian Networks of Rules. - Jesse Davis; Elizabeth S. Burnside; Inês de Castro Dutra; David Page; Vítor Santos Costa (ECML, 2005)

Mode Directed Path Finding. - Irene M. Ong; Inês de Castro Dutra; David Page; Vítor Santos Costa (ECML, 2005)

On Applying Tabling to Inductive Logic Programming. - Ricardo Rocha 001; Nuno A. Fonseca; Vítor Santos Costa (ECML, 2005)

IMPACT: Innovative Models for Prolog with Advanced Control and Tabling. - Ricardo Rocha 001; Ricardo Lopes; Fernando M. A. Silva; Vítor Santos Costa (ICLP, 2005)

Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (ICLP, 2005)

View Learning for Statistical Relational Learning: With an Application to Mammography. - Jesse Davis; Elizabeth S. Burnside; Inês de Castro Dutra; David Page; Raghu Ramakrishnan 001; Vítor Santos Costa; Jude W. Shavlik (IJCAI, 2005)

A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment. - Héctor Corrada Bravo; David Page; Raghu Ramakrishnan 001; Jude W. Shavlik; Vítor Santos Costa (ILP, 2005)

Probabilistic First-Order Theory Revision from Examples. - Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa (ILP, 2005)

Improving Memory Usage in the BEAM. - Ricardo Lopes; Vítor Santos Costa (PADL, 2005)

An Experimental Evaluation of JAVA JIT Technology. - Anderson Faustino da Silva; Vítor Santos Costa (J. Univers. Comput. Sci., 2005)

On Applying Or-Parallelism and Tabling to Logic Programs. - Ricardo Rocha 001; Fernando M. A. Silva; Vítor Santos Costa (Theory Pract. Log. Program., 2005)

PFORTE: Revising Probabilistic FOL Theories. - Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa (IBERAMIA-SBIA, 2006)

The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. - Anderson Faustino da Silva; Vítor Santos Costa (ICLP, 2006)

Inferring Regulatory Networks from Time Series Expression Data and Relational Data Via Inductive Logic Programming. - Irene M. Ong; Scott E. Topper; C. David Page Jr.; Vítor Santos Costa (ILP, 2006)

The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages. - Anderson Faustino da Silva; Vítor Santos Costa (J. Univers. Comput. Sci., 2006)

Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers. - Anderson Faustino da Silva; Vítor Santos Costa (J. Univers. Comput. Sci., 2006)

Demand-Driven Indexing of Prolog Clauses. - Vítor Santos Costa; Konstantinos Sagonas; Ricardo Lopes (ICLP, 2007)

Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System. - Anderson Faustino da Silva; Vítor Santos Costa (ICLP, 2007)

An integrated approach to feature invention and model construction for drug activity prediction. - Jesse Davis; Vítor Santos Costa; Soumya Ray; David Page (ICML, 2007)

Change of Representation for Statistical Relational Learning. - Jesse Davis; Irene M. Ong; Jan Struyf; Elizabeth S. Burnside; David Page; Vítor Santos Costa (IJCAI, 2007)

ILP : - Just Trie It. - Rui Camacho; Nuno A. Fonseca; Ricardo Rocha 001; Vítor Santos Costa (ILP, 2007)

Revising First-Order Logic Theories from Examples Through Stochastic Local Search. - Aline Paes; Gerson Zaverucha; Vítor Santos Costa (ILP, 2007)

Prolog Performance on Larger Datasets. - Vítor Santos Costa (PADL, 2007)

Improving model construction of profile HMMs for remote homology detection through structural alignment. - Juliana S. Bernardes; Alberto M. R. Dávila; Vítor Santos Costa; Gerson Zaverucha (BMC Bioinform., 2007)

A study of structural properties on profiles HMMs - Juliana S. Bernardes; Alberto M. R. Dávila; Vítor Santos Costa; Gerson Zaverucha (CoRR, 2007)

LogCHEM: Interactive Discriminative Mining of Chemical Structure. - Vítor Santos Costa; Nuno A. Fonseca; Rui Camacho (BIBM, 2008)

The Life of a Logic Programming System. - Vítor Santos Costa (ICLP, 2008)

On the Efficient Execution of ProbLog Programs. - Angelika Kimmig; Vítor Santos Costa; Ricardo Rocha 001; Bart Demoen; Luc De Raedt (ICLP, 2008)

Towards Typed Prolog. - Tom Schrijvers; Vítor Santos Costa; Jan Wielemaker; Bart Demoen (ICLP, 2008)

RUSE-WARMR: Rule Selection for Classifier Induction in Multi-relational Data-Sets. - Carlos Abreu Ferreira; João Gama 001; Vítor Santos Costa (ICTAI (1), 2008)

CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. - Vítor Santos Costa; David Page; James Cussens (Probabilistic Inductive Logic Programming, 2008)

k-RNN: k-relational nearest neighbour algorithm. - Nuno A. Fonseca; Vítor Santos Costa; Rui Camacho (SAC, 2008)

Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations. - Leandro A. J. Marzulo; Felipe Maia Galvão França; Vítor Santos Costa (SBAC-PAD, 2008)

Compile the Hypothesis Space: Do it Once, Use it Often. - Nuno A. Fonseca; Rui Camacho; Ricardo Rocha 001; Vítor Santos Costa (Fundam. Informaticae, 2008)

Sequential Pattern Mining in Multi-relational Datasets. - Carlos Abreu Ferreira; João Gama 001; Vítor Santos Costa (CAEPIA, 2009)

On Just in Time Indexing of Dynamic Predicates in Prolog. - Vítor Santos Costa (EPIA, 2009)

User Defined Indexing. - David Vaz; Vítor Santos Costa; Michel Ferreira (ICLP, 2009)

Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples. - Stephen H. Muggleton; Aline Paes; Vítor Santos Costa; Gerson Zaverucha (ILP, 2009)

Partitional Clustering of Protein Sequences - An Inductive Logic Programming Approach. - Nuno A. Fonseca; Vítor Santos Costa; Rui Camacho; Cristina P. Vieira; Jorge Vieira (IWANN (2), 2009)

Visually Guiding and Controlling the Search While Mining Chemical Structures. - Max Pereira; Vítor Santos Costa; Rui Camacho; Nuno A. Fonseca (IWANN (2), 2009)

On Connecting PRISM to CLP(BN). - Vítor Santos Costa; Aline Paes (MLG/SRL@ILP, 2009)

Trading Memory for Answers: Towards Tabling ProbLog. - Angelika Kimmig; Bernd Gutmann; Vítor Santos Costa (MLG/SRL@ILP, 2009)

Comparative Study of Classification Algorithms Using Molecular Descriptors in Toxicological DataBases. - Max Pereira; Vítor Santos Costa; Rui Camacho; Nuno A. Fonseca; Carlos J. V. Simões; Rui M. M. Brito (BSB, 2009)

Improving the efficiency of inductive logic programming systems. - Nuno A. Fonseca; Vítor Santos Costa; Ricardo Rocha 001; Rui Camacho; Fernando M. A. Silva (Softw. Pract. Exp., 2009)

Probabilistic Inductive Querying Using ProbLog. - Luc De Raedt; Angelika Kimmig; Bernd Gutmann; Kristian Kersting; Vítor Santos Costa; Hannu Toivonen (Inductive Databases and Constraint-Based Data Mining, 2010)

Interactive Discriminative Mining of Chemical Fragments. - Nuno A. Fonseca; Max Pereira; Vítor Santos Costa; Rui Camacho (ILP, 2010)

Fire! Firing Inductive Rules from Economic Geography for Fire Risk Detection. - David Vaz; Vítor Santos Costa; Michel Ferreira (ILP, 2010)

Predicting the Start of Protein alpha-Helices Using Machine Learning Algorithms. - Rui Camacho; Rita Ferreira; Natacha Rosa; Vânia Guimarães; Nuno A. Fonseca; Vítor Santos Costa; Miguel de Sousa; Alexandre Magalhães (IWPACBB, 2010)

On the Implementation of the CLP(BN mathcal BN) Language. - Vítor Santos Costa (PADL, 2010)

TALM: A Hybrid Execution Model with Distributed Speculation Support. - Leandro A. J. Marzulo; Tiago A. O. Alves; Felipe M. G. França; Vítor Santos Costa (SBAC-PAD (Workshops), 2010)

Portability of Prolog programs: theory and case-studies - Jan Wielemaker; Vítor Santos Costa (CoRR, 2010)

Threads and or-parallelism unified. - Vítor Santos Costa; Inês de Castro Dutra; Ricardo Rocha 001 (Theory Pract. Log. Program., 2010)

Constrained Sequential Pattern Knowledge in Multi-relational Learning. - Carlos Abreu Ferreira; João Gama 001; Vítor Santos Costa (EPIA, 2011)

Predictive Sequence Miner in ILP Learning. - Carlos Abreu Ferreira; João Gama 001; Vítor Santos Costa (ILP, 2011)

Conceptual Clustering of Multi-Relational Data. - Nuno A. Fonseca; Vítor Santos Costa; Rui Camacho (ILP, 2011)

Sequential Pattern Knowledge in Multi-Relational Learning. - Carlos Abreu Ferreira; João Gama 001; Vítor Santos Costa (ISCIS, 2011)

Assessing the Effect of 2D Fingerprint Filtering on ILP-Based Structure-Activity Relationships Toxicity Studies in Drug Design. - Rui Camacho; Max Pereira; Vítor Santos Costa; Nuno A. Fonseca; Carlos J. V. Simões; Rui M. M. Brito (PACBB, 2011)

On the Portability of Prolog Applications. - Jan Wielemaker; Vítor Santos Costa (PADL, 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. - Salvador Abreu; Vítor Santos Costa (CoRR, 2011)

Trebuchet: exploring TLP with dataflow virtualisation. - Tiago A. O. Alves; Leandro A. J. Marzulo; Felipe M. G. França; Vítor Santos Costa (Int. J. High Perform. Syst. Archit., 2011)

A Relational Learning Approach to Structure-Activity Relationships in Drug Design Toxicity Studies. - Rui Camacho; Max Pereira; Vítor Santos Costa; Nuno A. Fonseca; Carlos Adriano Gonçalves; Carlos J. V. Simões; Rui M. M. Brito (J. Integr. Bioinform., 2011)

On the implementation of the probabilistic logic programming language ProbLog. - Angelika Kimmig; Bart Demoen; Luc De Raedt; Vítor Santos Costa; Ricardo Rocha 001 (Theory Pract. Log. Program., 2011)

Identifying Adverse Drug Events by Relational Learning. - David Page; Vítor Santos Costa; Sriraam Natarajan; Aubrey Barnard; Peggy L. Peissig; Michael Caldwell (AAAI, 2012)

Predicting Ramp Events with a Stream-Based HMM Framework. - Carlos Abreu Ferreira; João Gama 001; Vítor Santos Costa; Vladimiro Miranda; Audun Botterud (Discovery Science, 2012)

Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue. - Agostino Dovier; Vítor Santos Costa (ICLP (Technical Communications), 2012)

Unachievable Region in Precision-Recall Space and Its Effect on Empirical Evaluation. - Kendrick Boyd; Jesse Davis; David Page; Vítor Santos Costa (ICML, 2012)

Demand-Driven Clustering in Relational Domains for Predicting Adverse Drug Events. - Jesse Davis; Vítor Santos Costa; Elizabeth Berg; David Page; Peggy L. Peissig; Michael Caldwell (ICML, 2012)

A Problog Model for Analyzing Gene Regulatory Networks. - António Gonçalves; Irene M. Ong; Jeffrey A. Lewis; Vítor Santos Costa (ILP (Late Breaking Papers), 2012)

Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines. - Inês de Castro Dutra; Ricardo Rocha 001; Vítor Santos Costa; Fernando M. A. Silva; João Santos 004 (IPDPS Workshops, 2012)

Relational Differential Prediction. - Houssam Nassif; Vítor Santos Costa; Elizabeth S. Burnside; David Page (ECML/PKDD (1), 2012)

Evaluating Inference Algorithms for the Prolog Factor Language. - Tiago Gomes; Vítor Santos Costa (StarAI@UAI, 2012)

Predicting the secondary structure of proteins using machine learning algorithms. - Rui Camacho; Rita Ferreira; Natacha Rosa; Vânia Guimarães; Nuno A. Fonseca; Vítor Santos Costa; Miguel de Sousa; Alexandre Magalhães (Int. J. Data Min. Bioinform., 2012)

The YAP Prolog system. - Vítor Santos Costa; Ricardo Rocha 001; Luís Damas (Theory Pract. Log. Program., 2012)

Introduction to the 28th international conference on logic programming special issue. - Agostino Dovier; Vítor Santos Costa (Theory Pract. Log. Program., 2012)

A design and implementation of the Extended Andorra Model. - Ricardo Lopes; Vítor Santos Costa; Fernando M. A. Silva (Theory Pract. Log. Program., 2012)

A Datalog Engine for GPUs. - Carlos Alberto Martinez-Angeles; Inês de Castro Dutra; Vítor Santos Costa; Jorge Buenabad-Chávez (KDPD, 2013)

Integrative Functional Statistics in Logic Programming. - Nicos Angelopoulos; Vítor Santos Costa; João Azevedo; Jan Wielemaker; Rui Camacho; Lodewyk F. A. Wessels (PADL, 2013)

Score As You Lift (SAYL): A Statistical Relational Learning Approach to Uplift Modeling. - Houssam Nassif; Finn Kuusisto; Elizabeth S. Burnside; David Page; Jude W. Shavlik; Vítor Santos Costa (ECML/PKDD (3), 2013)

BigYAP: Exo-compilation meets UDI. - Vítor Santos Costa; David Vaz (Theory Pract. Log. Program., 2013)

Towards Using Probabilities and Logic to Model Regulatory Networks. - António Gonçalves; Irene M. Ong; Jeffrey A. Lewis; Vítor Santos Costa (CBMS, 2014)

Discovering Differentially Expressed Genes in Yeast Stress Data. - António Gonçalves; Irene M. Ong; Jeffrey A. Lewis; Vítor Santos Costa (CBMS, 2014)

PrologCheck - Property-Based Testing in Prolog. - Cláudio Amaral; Mário Florido; Vítor Santos Costa (FLOPS, 2014)

Support Vector Machines for Differential Prediction. - Finn Kuusisto; Vítor Santos Costa; Houssam Nassif; Elizabeth S. Burnside; David Page; Jude W. Shavlik (ECML/PKDD (2), 2014)

Relational machine learning for electronic health record-driven phenotyping. - Peggy L. Peissig; Vítor Santos Costa; Michael Caldwell; Carla Rottscheit; Richard L. Berg; Eneida A. Mendonça; David Page (J. Biomed. Informatics, 2014)

Couillard: Parallel programming via coarse-grained Data-flow Compilation. - Leandro A. J. Marzulo; Tiago A. O. Alves; Felipe M. G. França; Vítor Santos Costa (Parallel Comput., 2014)

Lifted Variable Elimination for Probabilistic Logic Programming. - Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi; Vítor Santos Costa; Riccardo Zese (Theory Pract. Log. Program., 2014)

Predicting Adverse Drug Events from Electronic Medical Records. - Jesse Davis; Vítor Santos Costa; Peggy L. Peissig; Michael Caldwell; David Page (Foundations of Biomedical Knowledge Representation, 2015)

Predicting Drugs Adverse Side-Effects Using a Recommender-System. - Diogo Pinto; Pedro Costa; Rui Camacho; Vítor Santos Costa (Discovery Science, 2015)

Processing Markov Logic Networks with GPUs: Accelerating Network Grounding. - Carlos Alberto Martinez-Angeles; Inês Dutra; Vítor Santos Costa; Jorge Buenabad-Chávez (ILP, 2015)

Guest editors' introduction: special issue on Inductive Logic Programming and on Multi-Relational Learning. - Gerson Zaverucha; Vítor Santos Costa (Mach. Learn., 2015)

Exploring multi-relational temporal databases with a propositional sequence miner. - Carlos Abreu Ferreira; João Gama 001; Vítor Santos Costa (Prog. Artif. Intell., 2015)

Predicting Wildfires - Propositional and Relational Spatio-Temporal Pre-processing Approaches. - Mariana Oliveira 001; Luís Torgo; Vítor Santos Costa (DS, 2016)

Relational Learning with GPUs: Accelerating Rule Coverage. - Carlos Alberto Martinez-Angeles; Haicheng Wu; Inês Dutra; Vítor Santos Costa; Jorge Buenabad-Chávez (Int. J. Parallel Program., 2016)

Parallel Algorithms for Multirelational Data Mining: Application to Life Science Problems. - Rui Camacho; Jorge G. Barbosa; Altino M. Sampaio; João Ladeiras; Nuno A. Fonseca; Vítor Santos Costa (Resource Management for Big Data Platforms, 2016)

Managing diabetes: Pattern discovery and counselling supported by user data in a mobile platform. - Diogo Machado; Tiago Paiva; Inês Dutra; Vítor Santos Costa; Pedro Brandão (ISCC, 2017)

Pharmacovigilance via Baseline Regularization with Large-Scale Longitudinal Observational Data. - Zhaobin Kuang; Peggy L. Peissig; Vítor Santos Costa; Richard Maclin; David Page (KDD, 2017)

Managing Diabetes: Counselling Supported by User Data in a Mobile Platform. - Diogo Machado; Inês Dutra; Pedro Brandão; Vítor Santos Costa (RuleML+RR (Supplement), 2017)

Markov logic networks for adverse drug event extraction from text. - Sriraam Natarajan; Vishal Bangera; Tushar Khot; Jose Picado; Anurag Wazalwar; Vítor Santos Costa; David Page; Michael Caldwell (Knowl. Inf. Syst., 2017)

On the use of stochastic local search techniques to revise first-order logic theories from examples. - Aline Paes; Gerson Zaverucha; Vítor Santos Costa (Mach. Learn., 2017)

Evaluation Procedures for Forecasting with Spatio-Temporal Data. - Mariana Oliveira 001; Luís Torgo; Vítor Santos Costa (ECML/PKDD (1), 2018)

Machine Learning to Predict Developmental Neurotoxicity with High-Throughput Data from 2D Bio-Engineered Tissues. - Finn Kuusisto; Vítor Santos Costa; Zhonggang Hou; James A. Thomson; David Page; Ron M. Stewart (ICMLA, 2019)

A Three-Valued Semantics for Typed Logic Programming. - João Barbosa; Mário Florido; Vítor Santos Costa (ICLP Technical Communications, 2019)

Contrasting logical sequences in multi-relational learning. - Carlos Abreu Ferreira; João Gama 001; Vítor Santos Costa (Prog. Artif. Intell., 2019)

From Reinforcement Learning Towards Artificial General Intelligence. - Filipe Marinho Rocha; Vítor Santos Costa; Luís Paulo Reis (WorldCIST (2), 2020)

Overcoming Reinforcement Learning Limits with Inductive Logic Programming. - Filipe Marinho Rocha; Vítor Santos Costa; Luís Paulo Reis (WorldCIST (2), 2020)

Predictive Maintenance for Sensor Enhancement in Industry 4.0. - Carla Silva 002; Marvin F. da Silva; Arlete Rodrigues; José Silva; Vítor Santos Costa; Alípio Jorge; Inês Dutra (ACIIDS (Companion), 2021)

Online Learning of Logic Based Neural Network Structures. - Victor Guimarães 001; Vítor Santos Costa (ILP, 2021)

Data Type Inference for Logic Programming. - João Barbosa; Mário Florido; Vítor Santos Costa (LOPSTR, 2021)

SicknessMiner: a deep-learning-driven text-mining tool to abridge disease-disease associations. - Nícia Rosário-Ferreira; Victor Guimarães 001; Vítor Santos Costa; Irina S. Moreira (BMC Bioinform., 2021)

NeuralLog: a Neural Logic Language. - Victor Guimarães 001; Vítor Santos Costa (CoRR, 2021)

Biased resampling strategies for imbalanced spatio-temporal forecasting. - Mariana Oliveira 001; Nuno Moniz; Luís Torgo; Vítor Santos Costa (Int. J. Data Sci. Anal., 2021)

Impact of the glycaemic sampling method in diabetes data mining. - Diogo Machado; Vítor Santos Costa; Pedro Brandão (ISCC, 2022)

Typed SLD-Resolution: Dynamic Typing for Logic Programming. - João Barbosa; Mário Florido; Vítor Santos Costa (LOPSTR, 2022)

50 Years of Prolog and Beyond. - Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; José F. Morales 001; Jan Wielemaker; Daniel Diaz 001; Salvador Abreu; Giovanni Ciatto (CoRR, 2022)

Fifty Years of Prolog and Beyond. - Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; José F. Morales 001; Jan Wielemaker; Daniel Diaz 001; Salvador Abreu (Theory Pract. Log. Program., 2022)

Using Balancing Methods to Improve Glycaemia-Based Data Mining. - Diogo Machado; Vítor Santos Costa; Pedro Brandão (HEALTHINF, 2023)

Regular Typed Unification. - João Barbosa; Mário Florido; Vítor Santos Costa (ICLP, 2024)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus. - Filipe Marinho Rocha; Inês Dutra; Vítor Santos Costa (CoRR, 2024)

Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog. - Pedro Moreno; Miguel Areias 001; Ricardo Rocha 001; Vítor Santos Costa (Int. J. Parallel Program., 2024)

On Bridging Prolog and Python to Enhance an Inductive Logic Programming System. - Vítor Manuel de Morais Santos Costa; Miguel Areias 001 (PADL, 2025)