Vítor Santos Costa

204 papers A* 7A 2B 45C 20Misc 11Journal 57Unranked 51
YearRankTypeTitle / Venue / Authors
2024 J jnl
Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus.
CoRR
Filipe Marinho Rocha, Inês Dutra, Vítor Santos Costa
2024 B conf
Regular Typed Unification.
ICLP
João Barbosa, Mário Florido, Vítor Santos Costa
2024 J jnl
Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog.
Int. J. Parallel Program.
Pedro Moreno, Miguel Areias, Ricardo Rocha, Vítor Santos Costa
2023 — conf
Using Balancing Methods to Improve Glycaemia-Based Data Mining.
HEALTHINF
Diogo Machado, Vítor Santos Costa, Pedro Brandão
2022 J jnl
50 Years of Prolog and Beyond.
CoRR
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
2022 J jnl
Fifty Years of Prolog and Beyond.
Theory Pract. Log. Program.
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
2022 C conf
Impact of the glycaemic sampling method in diabetes data mining.
ISCC
Diogo Machado, Vítor Santos Costa, Pedro Brandão
2022 C conf
Typed SLD-Resolution: Dynamic Typing for Logic Programming.
LOPSTR
João Barbosa, Mário Florido, Vítor Santos Costa
2022 J jnl
Typed SLD-Resolution: Dynamic Typing for Logic Programming.
CoRR
João Barbosa, Mário Florido, Vítor Santos Costa
2021 J jnl
Biased resampling strategies for imbalanced spatio-temporal forecasting.
Int. J. Data Sci. Anal.
Mariana Oliveira, Nuno Moniz, Luís Torgo, Vítor Santos Costa
2021 C conf
Data Type Inference for Logic Programming.
LOPSTR
João Barbosa, Mário Florido, Vítor Santos Costa
2021 J jnl
Data Type Inference for Logic Programming.
CoRR
João Barbosa, Mário Florido, Vítor Santos Costa
2021 J jnl
NeuralLog: a Neural Logic Language.
CoRR
Victor Guimarães, Vítor Santos Costa
2021 B conf
Online Learning of Logic Based Neural Network Structures.
ILP
Victor Guimarães, Vítor Santos Costa
2021 — conf
Predictive Maintenance for Sensor Enhancement in Industry 4.0.
ACIIDS (Companion)
Carla Silva, Marvin F. da Silva, Arlete Rodrigues, José Silva, Vítor Santos Costa, Alípio Jorge, Inês Dutra
2021 J jnl
SicknessMiner: a deep-learning-driven text-mining tool to abridge disease-disease associations.
BMC Bioinform.
Nícia Rosário-Ferreira, Victor Guimarães, Vítor Santos Costa, Irina S. Moreira
2020 — conf
From Reinforcement Learning Towards Artificial General Intelligence.
WorldCIST (2)
Filipe Marinho Rocha, Vítor Santos Costa, Luís Paulo Reis
2020 — conf
Overcoming Reinforcement Learning Limits with Inductive Logic Programming.
WorldCIST (2)
Filipe Marinho Rocha, Vítor Santos Costa, Luís Paulo Reis
2019 — conf
A Three-Valued Semantics for Typed Logic Programming.
ICLP Technical Communications
João Barbosa, Mário Florido, Vítor Santos Costa
2019 B conf
Biased Resampling Strategies for Imbalanced Spatio-Temporal Forecasting.
DSAA
Mariana Oliveira, Nuno Moniz, Luís Torgo, Vítor Santos Costa
2019 J jnl
Contrasting logical sequences in multi-relational learning.
Prog. Artif. Intell.
Carlos Abreu Ferreira, João Gama, Vítor Santos Costa
2019 C conf
Machine Learning to Predict Developmental Neurotoxicity with High-Throughput Data from 2D Bio-Engineered Tissues.
ICMLA
Finn Kuusisto, Vítor Santos Costa, Zhonggang Hou, James A. Thomson, David Page, Ron M. Stewart
2019 J jnl
Machine Learning to Predict Developmental Neurotoxicity with High-throughput Data from 2D Bio-engineered Tissues.
CoRR
Finn Kuusisto, Vítor Santos Costa, Zhonggang Hou, James A. Thomson, David Page, Ron M. Stewart
2018 — conf
Evaluation Procedures for Forecasting with Spatio-Temporal Data.
ECML/PKDD (1)
Mariana Oliveira, Luís Torgo, Vítor Santos Costa
2017 — conf
Managing Diabetes: Counselling Supported by User Data in a Mobile Platform.
RuleML+RR (Supplement)
Diogo Machado, Inês Dutra, Pedro Brandão, Vítor Santos Costa
2017 C conf
Managing diabetes: Pattern discovery and counselling supported by user data in a mobile platform.
ISCC
Diogo Machado, Tiago Paiva, Inês Dutra, Vítor Santos Costa, Pedro Brandão
2017 J jnl
Markov logic networks for adverse drug event extraction from text.
Knowl. Inf. Syst.
Sriraam Natarajan, Vishal Bangera, Tushar Khot, Jose Picado, Anurag Wazalwar, Vítor Santos Costa, David Page, Michael Caldwell
2017 J jnl
On the use of stochastic local search techniques to revise first-order logic theories from examples.
Mach. Learn.
Aline Paes, Gerson Zaverucha, Vítor Santos Costa
2017 A* conf
Pharmacovigilance via Baseline Regularization with Large-Scale Longitudinal Observational Data.
KDD
Zhaobin Kuang, Peggy L. Peissig, Vítor Santos Costa, Richard Maclin, David Page
2016 — ch.
Parallel Algorithms for Multirelational Data Mining: Application to Life Science Problems.
Resource Management for Big Data Platforms
Rui Camacho, Jorge G. Barbosa, Altino M. Sampaio, João Ladeiras, Nuno A. Fonseca, Vítor Santos Costa
2016 B conf
Predicting Wildfires - Propositional and Relational Spatio-Temporal Pre-processing Approaches.
DS
Mariana Oliveira, Luís Torgo, Vítor Santos Costa
2016 J jnl
Relational Learning with GPUs: Accelerating Rule Coverage.
Int. J. Parallel Program.
Carlos Alberto Martinez-Angeles, Haicheng Wu, Inês Dutra, Vítor Santos Costa, Jorge Buenabad-Chávez
2015 J jnl
Exploring multi-relational temporal databases with a propositional sequence miner.
Prog. Artif. Intell.
Carlos Abreu Ferreira, João Gama, Vítor Santos Costa
2015 J jnl
Guest editors' introduction: special issue on Inductive Logic Programming and on Multi-Relational Learning.
Mach. Learn.
Gerson Zaverucha, Vítor Santos Costa
2015 — ed.
Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part I
ECML/PKDD (1)
Annalisa Appice, Pedro Pereira Rodrigues, Vítor Santos Costa, Carlos Soares, João Gama, Alípio Jorge
2015 — ed.
Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part II
ECML/PKDD (2)
Annalisa Appice, Pedro Pereira Rodrigues, Vítor Santos Costa, João Gama, Alípio Jorge, Carlos Soares
2015 — ch.
Predicting Adverse Drug Events from Electronic Medical Records.
Foundations of Biomedical Knowledge Representation
Jesse Davis, Vítor Santos Costa, Peggy L. Peissig, Michael Caldwell, David Page
2015 B conf
Predicting Drugs Adverse Side-Effects Using a Recommender-System.
Discovery Science
Diogo Pinto, Pedro Costa, Rui Camacho, Vítor Santos Costa
2015 B conf
Processing Markov Logic Networks with GPUs: Accelerating Network Grounding.
ILP
Carlos Alberto Martinez-Angeles, Inês Dutra, Vítor Santos Costa, Jorge Buenabad-Chávez
2014 J jnl
Couillard: Parallel programming via coarse-grained Data-flow Compilation.
Parallel Comput.
Leandro A. J. Marzulo, Tiago A. O. Alves, Felipe M. G. França, Vítor Santos Costa
2014 B conf
Discovering Differentially Expressed Genes in Yeast Stress Data.
CBMS
António Gonçalves, Irene M. Ong, Jeffrey A. Lewis, Vítor Santos Costa
2014 — ed.
Euro-Par 2014 Parallel Processing - 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings
Euro-Par
Fernando M. A. Silva, Inês de Castro Dutra, Vítor Santos Costa
2014 B ed.
Inductive Logic Programming - 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers
ILP
Gerson Zaverucha, Vítor Santos Costa, Aline Paes
2014 — ed.
Late Breaking Papers of the 23rd International Conference on Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th - to - 30th, 2013.
ILP (Late Breaking Papers)
Gerson Zaverucha, Vítor Santos Costa, Aline Marins Paes
2014 J jnl
Lifted Variable Elimination for Probabilistic Logic Programming.
CoRR
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese
2014 J jnl
Lifted Variable Elimination for Probabilistic Logic Programming.
Theory Pract. Log. Program.
Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vítor Santos Costa, Riccardo Zese
2014 Misc conf
PrologCheck - Property-Based Testing in Prolog.
FLOPS
Cláudio Amaral, Mário Florido, Vítor Santos Costa
2014 J jnl
Relational machine learning for electronic health record-driven phenotyping.
J. Biomed. Informatics
Peggy L. Peissig, Vítor Santos Costa, Michael Caldwell, Carla Rottscheit, Richard L. Berg, Eneida A. Mendonça, David Page
2014 — conf
Support Vector Machines for Differential Prediction.
ECML/PKDD (2)
Finn Kuusisto, Vítor Santos Costa, Houssam Nassif, Elizabeth S. Burnside, David Page, Jude W. Shavlik
2014 B conf
Towards Using Probabilities and Logic to Model Regulatory Networks.
CBMS
António Gonçalves, Irene M. Ong, Jeffrey A. Lewis, Vítor Santos Costa
2013 — conf
A Datalog Engine for GPUs.
KDPD
Carlos Alberto Martinez-Angeles, Inês de Castro Dutra, Vítor Santos Costa, Jorge Buenabad-Chávez
2013 J jnl
BigYAP: Exo-compilation meets UDI.
Theory Pract. Log. Program.
Vítor Santos Costa, David Vaz
2013 C conf
Integrative Functional Statistics in Logic Programming.
PADL
Nicos Angelopoulos, Vítor Santos Costa, João Azevedo, Jan Wielemaker, Rui Camacho, Lodewyk F. A. Wessels
2013 — conf
Score As You Lift (SAYL): A Statistical Relational Learning Approach to Uplift Modeling.
ECML/PKDD (3)
Houssam Nassif, Finn Kuusisto, Elizabeth S. Burnside, David Page, Jude W. Shavlik, Vítor Santos Costa
2012 — conf
A Problog Model for Analyzing Gene Regulatory Networks.
ILP (Late Breaking Papers)
António Gonçalves, Irene M. Ong, Jeffrey A. Lewis, Vítor Santos Costa
2012 J jnl
A design and implementation of the Extended Andorra Model.
Theory Pract. Log. Program.
Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva
2012 J jnl
CLP(BN): Constraint Logic Programming for Probabilistic Knowledge
CoRR
Vítor Santos Costa, David Page, Maleeha Qazi, James Cussens
2012 A* conf
Demand-Driven Clustering in Relational Domains for Predicting Adverse Drug Events.
ICML
Jesse Davis, Vítor Santos Costa, Elizabeth Berg, David Page, Peggy L. Peissig, Michael Caldwell
2012 B conf
Evaluating Inference Algorithms for the Prolog Factor Language.
ILP
Tiago Gomes, Vítor Santos Costa
2012 — conf
Evaluating Inference Algorithms for the Prolog Factor Language.
StarAI@UAI
Tiago Gomes, Vítor Santos Costa
2012 A* conf
Identifying Adverse Drug Events by Relational Learning.
AAAI
David Page, Vítor Santos Costa, Sriraam Natarajan, Aubrey Barnard, Peggy L. Peissig, Michael Caldwell
2012 J jnl
Introduction to the 28th International Conference on Logic Programming Special Issue
CoRR
Agostino Dovier, Vítor Santos Costa
2012 J jnl
Introduction to the 28th international conference on logic programming special issue.
Theory Pract. Log. Program.
Agostino Dovier, Vítor Santos Costa
2012 — conf
Introduction to the Technical Communications of the 28th International Conference on Logic Programming Special Issue.
ICLP (Technical Communications)
Agostino Dovier, Vítor Santos Costa
2012 B conf
Predicting Ramp Events with a Stream-Based HMM Framework.
Discovery Science
Carlos Abreu Ferreira, João Gama, Vítor Santos Costa, Vladimiro Miranda, Audun Botterud
2012 J jnl
Predicting the secondary structure of proteins using machine learning algorithms.
Int. J. Data Min. Bioinform.
Rui Camacho, Rita Ferreira, Natacha Rosa, Vânia Guimarães, Nuno A. Fonseca, Vítor Santos Costa, Miguel de Sousa, Alexandre Magalhães
2012 — ed.
Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012
DAMP
Umut A. Acar, Vítor Santos Costa
2012 — conf
Relational Differential Prediction.
ECML/PKDD (1)
Houssam Nassif, Vítor Santos Costa, Elizabeth S. Burnside, David Page
2012 — conf
Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines.
IPDPS Workshops
Inês de Castro Dutra, Ricardo Rocha, Vítor Santos Costa, Fernando M. A. Silva, João Santos
2012 — ed.
Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, Budapest, Hungary, September 4-8, 2012
ICLP (Technical Communications)
Agostino Dovier, Vítor Santos Costa
2012 J jnl
The YAP Prolog system.
Theory Pract. Log. Program.
Vítor Santos Costa, Ricardo Rocha, Luís Damas
2012 J jnl
Unachievable Region in Precision-Recall Space and Its Effect on Empirical Evaluation
CoRR
Kendrick Boyd, Vítor Santos Costa, Jesse Davis, David Page
2012 A* conf
Unachievable Region in Precision-Recall Space and Its Effect on Empirical Evaluation.
ICML
Kendrick Boyd, Jesse Davis, David Page, Vítor Santos Costa
2011 J jnl
A Design and Implementation of the Extended Andorra Model
CoRR
Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva
2011 J jnl
A Relational Learning Approach to Structure-Activity Relationships in Drug Design Toxicity Studies.
J. Integr. Bioinform.
Rui Camacho, Max Pereira, Vítor Santos Costa, Nuno A. Fonseca, Carlos Adriano Gonçalves, Carlos J. V. Simões, Rui M. M. Brito
2011 Misc conf
Assessing the Effect of 2D Fingerprint Filtering on ILP-Based Structure-Activity Relationships Toxicity Studies in Drug Design.
PACBB
Rui Camacho, Max Pereira, Vítor Santos Costa, Nuno A. Fonseca, Carlos J. V. Simões, Rui M. M. Brito
2011 B conf
Conceptual Clustering of Multi-Relational Data.
ILP
Nuno A. Fonseca, Vítor Santos Costa, Rui Camacho
2011 Misc conf
Constrained Sequential Pattern Knowledge in Multi-relational Learning.
EPIA
Carlos Abreu Ferreira, João Gama, Vítor Santos Costa
2011 J jnl
Couillard: Parallel Programming via Coarse-Grained Data-Flow Compilation
CoRR
Leandro A. J. Marzulo, Tiago A. O. Alves, Felipe M. G. França, Vítor Santos Costa
2011 C conf
On the Portability of Prolog Applications.
PADL
Jan Wielemaker, Vítor Santos Costa
2011 J jnl
On the implementation of the probabilistic logic programming language ProbLog.
Theory Pract. Log. Program.
Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha
2011 J jnl
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
Salvador Abreu, Vítor Santos Costa
2011 B conf
Predictive Sequence Miner in ILP Learning.
ILP
Carlos Abreu Ferreira, João Gama, Vítor Santos Costa
2011 — conf
Sequential Pattern Knowledge in Multi-Relational Learning.
ISCIS
Carlos Abreu Ferreira, João Gama, Vítor Santos Costa
2011 J jnl
The YAP Prolog System
CoRR
Vítor Santos Costa, Luís Damas, Ricardo Rocha
2011 J jnl
Trebuchet: exploring TLP with dataflow virtualisation.
Int. J. High Perform. Syst. Archit.
Tiago A. O. Alves, Leandro A. J. Marzulo, Felipe M. G. França, Vítor Santos Costa
2010 B conf
Fire! Firing Inductive Rules from Economic Geography for Fire Risk Detection.
ILP
David Vaz, Vítor Santos Costa, Michel Ferreira
2010 B conf
Interactive Discriminative Mining of Chemical Fragments.
ILP
Nuno A. Fonseca, Max Pereira, Vítor Santos Costa, Rui Camacho
2010 C conf
On the Implementation of the CLP(
PADL
Vítor Santos Costa
2010 J jnl
On the Implementation of the Probabilistic Logic Programming Language ProbLog
CoRR
Angelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa, Ricardo Rocha
2010 J jnl
Portability of Prolog programs: theory and case-studies
CoRR
Jan Wielemaker, Vítor Santos Costa
2010 — conf
Predicting the Start of Protein
IWPACBB
Rui Camacho, Rita Ferreira, Natacha Rosa, Vânia Guimarães, Nuno A. Fonseca, Vítor Santos Costa, Miguel de Sousa, Alexandre Magalhães
2010 — ch.
Probabilistic Inductive Querying Using ProbLog.
Inductive Databases and Constraint-Based Data Mining
Luc De Raedt, Angelika Kimmig, Bernd Gutmann, Kristian Kersting, Vítor Santos Costa, Hannu Toivonen
2010 — conf
TALM: A Hybrid Execution Model with Distributed Speculation Support.
SBAC-PAD (Workshops)
Leandro A. J. Marzulo, Tiago A. O. Alves, Felipe M. G. França, Vítor Santos Costa
2010 J jnl
Threads and Or-Parallelism Unified
CoRR
Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha
2010 J jnl
Threads and or-parallelism unified.
Theory Pract. Log. Program.
Vítor Santos Costa, Inês de Castro Dutra, Ricardo Rocha
2009 B conf
Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples.
ILP
Stephen H. Muggleton, Aline Paes, Vítor Santos Costa, Gerson Zaverucha
2009 — conf
Comparative Study of Classification Algorithms Using Molecular Descriptors in Toxicological DataBases.
BSB
Max Pereira, Vítor Santos Costa, Rui Camacho, Nuno A. Fonseca, Carlos J. V. Simões, Rui M. M. Brito
2009 B ed.
Discovery Science, 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009
Discovery Science
João Gama, Vítor Santos Costa, Alípio Mário Jorge, Pavel Brazdil
2009 J jnl
Improving the efficiency of inductive logic programming systems.
Softw. Pract. Exp.
Nuno A. Fonseca, Vítor Santos Costa, Ricardo Rocha, Rui Camacho, Fernando M. A. Silva
2009 — conf
On Connecting PRISM to CLP(BN).
MLG/SRL@ILP
Vítor Santos Costa, Aline Paes
2009 Misc conf
On Just in Time Indexing of Dynamic Predicates in Prolog.
EPIA
Vítor Santos Costa
2009 — conf
Partitional Clustering of Protein Sequences - An Inductive Logic Programming Approach.
IWANN (2)
Nuno A. Fonseca, Vítor Santos Costa, Rui Camacho, Cristina P. Vieira, Jorge Vieira
2009 — conf
Sequential Pattern Mining in Multi-relational Datasets.
CAEPIA
Carlos Abreu Ferreira, João Gama, Vítor Santos Costa
2009 — conf
Trading Memory for Answers: Towards Tabling ProbLog.
MLG/SRL@ILP
Angelika Kimmig, Bernd Gutmann, Vítor Santos Costa
2009 B conf
User Defined Indexing.
ICLP
David Vaz, Vítor Santos Costa, Michel Ferreira
2009 — conf
Visually Guiding and Controlling the Search While Mining Chemical Structures.
IWANN (2)
Max Pereira, Vítor Santos Costa, Rui Camacho, Nuno A. Fonseca
2008 — ch.
CLP(
Probabilistic Inductive Logic Programming
Vítor Santos Costa, David Page, James Cussens
2008 J jnl
Compile the Hypothesis Space: Do it Once, Use it Often.
Fundam. Informaticae
Nuno A. Fonseca, Rui Camacho, Ricardo Rocha, Vítor Santos Costa
2008 — conf
LogCHEM: Interactive Discriminative Mining of Chemical Structure.
BIBM
Vítor Santos Costa, Nuno A. Fonseca, Rui Camacho
2008 B conf
On the Efficient Execution of ProbLog Programs.
ICLP
Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen, Luc De Raedt
2008 — conf
RUSE-WARMR: Rule Selection for Classifier Induction in Multi-relational Data-Sets.
ICTAI (1)
Carlos Abreu Ferreira, João Gama, Vítor Santos Costa
2008 B conf
The Life of a Logic Programming System.
ICLP
Vítor Santos Costa
2008 B conf
Towards Typed Prolog.
ICLP
Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker, Bart Demoen
2008 C conf
Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations.
SBAC-PAD
Leandro A. J. Marzulo, Felipe Maia Galvão França, Vítor Santos Costa
2008 Misc conf
k-RNN: k-relational nearest neighbour algorithm.
SAC
Nuno A. Fonseca, Vítor Santos Costa, Rui Camacho
2007 J jnl
A study of structural properties on profiles HMMs
CoRR
Juliana S. Bernardes, Alberto M. R. Dávila, Vítor Santos Costa, Gerson Zaverucha
2007 A* conf
An integrated approach to feature invention and model construction for drug activity prediction.
ICML
Jesse Davis, Vítor Santos Costa, Soumya Ray, David Page
2007 A* conf
Change of Representation for Statistical Relational Learning.
IJCAI
Jesse Davis, Irene M. Ong, Jan Struyf, Elizabeth S. Burnside, David Page, Vítor Santos Costa
2007 B conf
Demand-Driven Indexing of Prolog Clauses.
ICLP
Vítor Santos Costa, Konstantinos Sagonas, Ricardo Lopes
2007 B conf
Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System.
ICLP
Anderson Faustino da Silva, Vítor Santos Costa
2007 B conf
ILP : - Just Trie It.
ILP
Rui Camacho, Nuno A. Fonseca, Ricardo Rocha, Vítor Santos Costa
2007 J jnl
Improving model construction of profile HMMs for remote homology detection through structural alignment.
BMC Bioinform.
Juliana S. Bernardes, Alberto M. R. Dávila, Vítor Santos Costa, Gerson Zaverucha
2007 C conf
Prolog Performance on Larger Datasets.
PADL
Vítor Santos Costa
2007 B conf
Revising First-Order Logic Theories from Examples Through Stochastic Local Search.
ILP
Aline Paes, Gerson Zaverucha, Vítor Santos Costa
2007 J jnl
Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations
CoRR
Leandro A. J. Marzulo, Felipe M. G. França, Vítor Santos Costa
2006 B conf
Inferring Regulatory Networks from Time Series Expression Data and Relational Data Via Inductive Logic Programming.
ILP
Irene M. Ong, Scott E. Topper, C. David Page Jr., Vítor Santos Costa
2006 J jnl
Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers.
J. Univers. Comput. Sci.
Anderson Faustino da Silva, Vítor Santos Costa
2006 — conf
PFORTE: Revising Probabilistic FOL Theories.
IBERAMIA-SBIA
Aline Paes, Kate Revoredo, Gerson Zaverucha, Vítor Santos Costa
2006 B conf
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages.
ICLP
Anderson Faustino da Silva, Vítor Santos Costa
2006 J jnl
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages.
J. Univers. Comput. Sci.
Anderson Faustino da Silva, Vítor Santos Costa
2005 B conf
A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment.
ILP
Héctor Corrada Bravo, David Page, Raghu Ramakrishnan, Jude W. Shavlik, Vítor Santos Costa
2005 C conf
A pipelined data-parallel algorithm for ILP.
CLUSTER
Nuno A. Fonseca, Fernando M. A. Silva, Vítor Santos Costa, Rui Camacho
2005 J jnl
An Experimental Evaluation of JAVA JIT Technology.
J. Univers. Comput. Sci.
Anderson Faustino da Silva, Vítor Santos Costa
2005 — conf
An Integrated Approach to Learning Bayesian Networks of Rules.
ECML
Jesse Davis, Elizabeth S. Burnside, Inês de Castro Dutra, David Page, Vítor Santos Costa
2005 B conf
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs.
ICLP
Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
2005 B conf
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling.
ICLP
Ricardo Rocha, Ricardo Lopes, Fernando M. A. Silva, Vítor Santos Costa
2005 C conf
Improving Memory Usage in the BEAM.
PADL
Ricardo Lopes, Vítor Santos Costa
2005 Misc conf
Knowledge Discovery from Structured Mammography Reports Using Inductive Logic Programming.
AMIA
Elizabeth S. Burnside, Jesse Davis, Vítor Santos Costa, Inês de Castro Dutra, Charles E. Kahn Jr., Jason Fine, David Page
2005 — conf
Mode Directed Path Finding.
ECML
Irene M. Ong, Inês de Castro Dutra, David Page, Vítor Santos Costa
2005 J jnl
On Applying Or-Parallelism and Tabling to Logic Programs.
Theory Pract. Log. Program.
Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
2005 — conf
On Applying Tabling to Inductive Logic Programming.
ECML
Ricardo Rocha, Nuno A. Fonseca, Vítor Santos Costa
2005 B conf
Probabilistic First-Order Theory Revision from Examples.
ILP
Aline Paes, Kate Revoredo, Gerson Zaverucha, Vítor Santos Costa
2005 B conf
ReGS: user-level reliability in a grid environment.
CCGRID
J. A. L. Sanches, Patrícia Kayser Vargas, Inês de Castro Dutra, Vítor Santos Costa, Cláudio F. R. Geyer
2005 A* conf
View Learning for Statistical Relational Learning: With an Application to Mammography.
IJCAI
Jesse Davis, Elizabeth S. Burnside, Inês de Castro Dutra, David Page, Raghu Ramakrishnan, Vítor Santos Costa, Jude W. Shavlik
2004 — conf
Concurrent Table Accesses in Parallel Tabled Logic Programs.
Euro-Par
Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
2004 — conf
Exploiting parallelism in the extended andorra model.
Parallel and Distributed Computing and Networks
Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva
2004 B conf
On Avoiding Redundancy in Inductive Logic Programming.
ILP
Nuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho
2004 C conf
Pruning in the Extended Andorra Model.
PADL
Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva
2004 B conf
Speculative Computations in Or-Parallel Tabled Logic Programs.
ICLP
Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
2003 A conf
CLP(BN): Constraint Logic Programming for Probabilistic Knowledge.
UAI
Vítor Santos Costa, David Page, Maleeha Qazi, James Cussens
2003 Misc conf
Experimental Evaluation of a Caching Technique for ILP.
EPIA
Nuno A. Fonseca, Vítor Santos Costa, Fernando M. A. Silva, Rui Camacho
2003 J jnl
On Applying Or-Parallelism and Tabling to Logic Programs
CoRR
Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
2003 B conf
On Deterministic Computations in the Extended Andorra Model.
ICLP
Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva
2003 Misc conf
On the BEAM Implementation.
EPIA
Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva
2003 Misc conf
Performance Issues in Prolog Applications.
EPIA
Vítor Santos Costa
2003 J jnl
Query Transformations for Improving the Efficiency of ILP Systems.
J. Mach. Learn. Res.
Vítor Santos Costa, Ashwin Srinivasan, Rui Camacho, Hendrik Blockeel, Bart Demoen, Gerda Janssens, Jan Struyf, Henk Vandecasteele, Wim Van Laer
2003 — conf
Toward Automatic Management of Embarrassingly Parallel Applications.
Euro-Par
Inês de Castro Dutra, David Page, Vítor Santos Costa, Jude W. Shavlik, Michael Waddell
2002 A conf
Achieving Scalability in Parallel Tabled Logic Programs.
IPDPS
Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
2002 B conf
An Empirical Evaluation of Bagging in Inductive Logic Programming.
ILP
Inês de Castro Dutra, David Page, Vítor Santos Costa, Jude W. Shavlik
2002 C conf
Distributed Shared Memory in Kernel Mode.
SBAC-PAD
Thobias S. Trevisan, Vítor Santos Costa, Lauro Whately, Claudio Luis de Amorim
2002 — conf
From simulation to practice: cache performance study of a Prolog system.
MSP/ISMM
Ricardo Lopes, Luís Fernando Castro, Vítor Santos Costa
2002 Misc conf
Performance Evaluation of Fast Ethernet, Giganet, and Myrinet on a Cluster.
International Conference on Computational Science (1)
Marcelo Lobosco, Vítor Santos Costa, Claudio Luis de Amorim
2001 C conf
A Novel Implementation of the Extended Andorra Model.
PADL
Ricardo Lopes, Vítor Santos Costa, Fernando M. A. Silva
2001 B conf
On a Tabling Engine That Can Exploit Or-Parallelism.
ICLP
Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
2001 B conf
Understanding Memory Management in Prolog Systems.
ICLP
Luís Fernando Castro, Vítor Santos Costa
2000 B conf
A Note on Two Simple Transformations for Improving the Efficiency of an ILP System.
ILP
Vítor Santos Costa, Ashwin Srinivasan, Rui Camacho
2000 — conf
Novel Models for Or-Parallel Logic Programs: A Performance Analysis.
Euro-Par
Vítor Santos Costa, Ricardo Rocha, Fernando M. A. Silva
2000 J jnl
PADL '00: Workshop on Practical Aspects of Declarative Languages.
ACM SIGPLAN Notices
Enrico Pontelli, Vítor Santos Costa
2000 J jnl
Parallel Logic Programming Systems on Scalable Architectures.
J. Parallel Distributed Comput.
Vítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra
2000 C ed.
Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings
PADL
Enrico Pontelli, Vítor Santos Costa
2000 — conf
The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems.
Computational Logic
Inês de Castro Dutra, Vítor Santos Costa, Ricardo Bianchini
1999 — conf
COWL: Copy-On-Write for Logic Programs.
IPPS/SPDP
Vítor Santos Costa
1999 — conf
DAOS - Scalable And-Or Parallelism.
Euro-Par
Luís Fernando Castro, Vítor Santos Costa, Cláudio F. R. Geyer, Fernando M. A. Silva, Patrícia Kayser Vargas, Manuel Eduardo Correia
1999 J jnl
Distance: A New Metric for Controlling Granularity for Parallel Execution.
J. Funct. Log. Program.
Kish Shen, Vítor Santos Costa, Andy King
1999 — conf
IAP for dummies: The YAP Design.
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP
Manuel Eduardo Correia, Vítor Santos Costa
1999 C conf
Optimising Bytecode Emulation for Prolog.
PPDP
Vítor Santos Costa
1999 C conf
Or-Parallelism within Tabling.
PADL
Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
1999 — ed.
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
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP
Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk
1999 — conf
Preface.
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP
Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk
1999 — conf
The BEAM: A first EAM Implementation.
APPIA-GULP-PRODE
Ricardo Lopes, Vítor Santos Costa
1999 C conf
The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems.
PADL
Marcio G. Silva, Inês de Castro Dutra, Ricardo Bianchini, Vítor Santos Costa
1999 Misc conf
YapOr: an Or-Parallel Prolog System Based on Environment Copying.
EPIA
Ricardo Rocha, Fernando M. A. Silva, Vítor Santos Costa
1998 — conf
Distance: A New Metric for Controlling Granularity for Parallel Execution.
IJCSLP
Kish Shen, Vítor Santos Costa, Andy King
1998 — conf
Optimising Parallel Logic Programming Systems for Scalable Machines.
Euro-Par
Vítor Santos Costa, Ricardo Bianchini
1998 — conf
VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs.
IJCSLP
Nuno A. Fonseca, Vítor Santos Costa, Inês de Castro Dutra
1997 — conf
Evaluating parallel logic programming systems on scalable multiprocessors.
PASCO
Vítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra
1997 C conf
Evaluating the impact of coherence protocols on parallel logic programming systems.
PDP
Vítor Santos Costa, Ricardo Bianchini, Inês de Castro Dutra
1997 — conf
The SBA: Exploiting Orthogonality in AND-OR Parallel Systems.
ILPS
Manuel Eduardo Correia, Fernando M. A. Silva, Vítor Santos Costa
1996 J jnl
Andorra-I Compilation.
New Gener. Comput.
Vítor Santos Costa, David H. D. Warren, Rong Yang
1996 J jnl
Cuts and Side-Effects in And-Or Parallel Prolog.
J. Log. Program.
Gopal Gupta, Vítor Santos Costa
1995 B conf
Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming.
ICLP
Gopal Gupta, Vítor Santos Costa, Enrico Pontelli
1994 B conf
ACE: And/Or-parallel Copying-based Execution of Logic Programs.
ICLP
Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa
1994 — conf
Aurora, Andorra-I and Friends on the Sun.
Workshop on Design and Impl. of Parallel Logic Programming Systems
Vítor Santos Costa, Manuel Eduardo Correia, Fernando M. A. Silva
1994 J jnl
Optimal implementation of and-or parallel Prolog.
Future Gener. Comput. Syst.
Gopal Gupta, Vítor Santos Costa
1993 J jnl
And-Or Parallel Prolog: A Recomputation Based Approach.
New Gener. Comput.
Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa
1993 B conf
Performance of the Compiler-Based Andorra-I System.
ICLP
Rong Yang, Tony Beaumont, Inês de Castro Dutra, Vítor Santos Costa, David H. D. Warren
1992 — conf
And-Or Parallelism in Full Prolog with Paged Binding Arrays.
PARLE
Gopal Gupta, Vítor Santos Costa
1992 — conf
Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog.
SPDP
Gopal Gupta, Vítor Santos Costa
1992 — conf
Generalized Stack-copying for And-Or Parallel Execution of Full Prolog.
IJCSLP Workshop on Concurrent and Parallel Implementations
Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa
1991 B conf
Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism.
PPoPP
Vítor Santos Costa, David H. D. Warren, Rong Yang
1991 — conf
IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism.
ISLP
Gopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo
1991 B conf
The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model.
ICLP
Vítor Santos Costa, David H. D. Warren, Rong Yang
1991 B conf
The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model.
ICLP
Vítor Santos Costa, David H. D. Warren, Rong Yang