| 2009 |
|---|
| 91 | EE | Nuno A. Fonseca,
Vítor Santos Costa,
Ricardo Rocha,
Rui Camacho,
Fernando Silva:
Improving the efficiency of inductive logic programming systems.
Softw., Pract. Exper. 39(2): 189-219 (2009) |
| 2008 |
|---|
| 90 | EE | Vítor Santos Costa:
The Life of a Logic Programming System.
ICLP 2008: 1-6 |
| 89 | EE | Angelika Kimmig,
Vítor Santos Costa,
Ricardo Rocha,
Bart Demoen,
Luc De Raedt:
On the Efficient Execution of ProbLog Programs.
ICLP 2008: 175-189 |
| 88 | EE | Tom Schrijvers,
Vítor Santos Costa,
Jan Wielemaker,
Bart Demoen:
Towards Typed Prolog.
ICLP 2008: 693-697 |
| 87 | EE | Carlos Abreu Ferreira,
João Gama,
Vítor Santos Costa:
RUSE-WARMR: Rule Selection for Classifier Induction in Multi-relational Data-Sets.
ICTAI (1) 2008: 379-386 |
| 86 | EE | Vítor Santos Costa,
David Page,
James Cussens:
CLP(BN): Constraint Logic Programming for Probabilistic Knowledge.
Probabilistic Inductive Logic Programming 2008: 156-188 |
| 85 | EE | Nuno A. Fonseca,
Vítor Santos Costa,
Rui Camacho:
k-RNN: k-relational nearest neighbour algorithm.
SAC 2008: 944-948 |
| 84 | EE | Nuno A. Fonseca,
Rui Camacho,
Ricardo Rocha,
Vítor Santos Costa:
Compile the Hypothesis Space: Do it Once, Use it Often.
Fundam. Inform. 89(1): 45-67 (2008) |
| 2007 |
|---|
| 83 | EE | Vítor Santos Costa,
Konstantinos F. Sagonas,
Ricardo Lopes:
Demand-Driven Indexing of Prolog Clauses.
ICLP 2007: 395-409 |
| 82 | EE | Anderson Faustino da Silva,
Vítor Santos Costa:
Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System.
ICLP 2007: 410-424 |
| 81 | EE | Jesse Davis,
Vítor Santos Costa,
Soumya Ray,
David Page:
An integrated approach to feature invention and model construction for drug activity prediction.
ICML 2007: 217-224 |
| 80 | EE | Jesse Davis,
Irene M. Ong,
Jan Struyf,
Elizabeth S. Burnside,
David Page,
Vítor Santos Costa:
Change of Representation for Statistical Relational Learning.
IJCAI 2007: 2719-2726 |
| 79 | EE | Aline Paes,
Gerson Zaverucha,
Vítor Santos Costa:
Revising First-Order Logic Theories from Examples Through Stochastic Local Search.
ILP 2007: 200-210 |
| 78 | EE | Rui Camacho,
Nuno A. Fonseca,
Ricardo Rocha,
Vítor Santos Costa:
ILP : - Just Trie It.
ILP 2007: 78-87 |
| 77 | EE | Vítor Santos Costa:
Prolog Performance on Larger Datasets.
PADL 2007: 185-199 |
| 76 | EE | Juliana S. Bernardes,
Alberto M. R. Dávila,
Vítor Santos Costa,
Gerson Zaverucha:
A study of structural properties on profiles HMMs
CoRR abs/0704.2010: (2007) |
| 75 | EE | Leandro A. J. Marzulo,
Felipe M. G. França,
Vítor Santos Costa:
Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations
CoRR abs/0712.1167: (2007) |
| 2006 |
|---|
| 74 | EE | Aline Paes,
Kate Revoredo,
Gerson Zaverucha,
Vítor Santos Costa:
PFORTE: Revising Probabilistic FOL Theories.
IBERAMIA-SBIA 2006: 441-450 |
| 73 | EE | Anderson Faustino da Silva,
Vítor Santos Costa:
The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages.
ICLP 2006: 461-462 |
| 72 | EE | Irene M. Ong,
Scott E. Topper,
C. David Page Jr.,
Vítor Santos Costa:
Inferring Regulatory Networks from Time Series Expression Data and Relational Data Via Inductive Logic Programming.
ILP 2006: 366-378 |
| 71 | EE | Anderson Faustino da Silva,
Vítor Santos Costa:
The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages.
J. UCS 12(7): 764-787 (2006) |
| 70 | EE | Anderson Faustino da Silva,
Vítor Santos Costa:
Our Experiences with Optimizations in Sun's Java Just-In-Time Compilers.
J. UCS 12(7): 788-810 (2006) |
| 2005 |
|---|
| 69 | EE | J. A. L. Sanches,
Patrícia Kayser Vargas,
Inês de Castro Dutra,
Vítor Santos Costa,
Cláudio F. R. Geyer:
ReGS: user-level reliability in a grid environment.
CCGRID 2005: 718-725 |
| 68 | EE | Nuno A. Fonseca,
Fernando M. A. Silva,
Vítor Santos Costa,
Rui Camacho:
A pipelined data-parallel algorithm for ILP.
CLUSTER 2005: 1-10 |
| 67 | EE | Irene M. Ong,
Inês de Castro Dutra,
David Page,
Vítor Santos Costa:
Mode Directed Path Finding.
ECML 2005: 673-681 |
| 66 | EE | Ricardo Rocha,
Nuno A. Fonseca,
Vítor Santos Costa:
On Applying Tabling to Inductive Logic Programming.
ECML 2005: 707-714 |
| 65 | EE | Jesse Davis,
Elizabeth S. Burnside,
Inês de Castro Dutra,
David Page,
Vítor Santos Costa:
An Integrated Approach to Learning Bayesian Networks of Rules.
ECML 2005: 84-95 |
| 64 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs.
ICLP 2005: 250-264 |
| 63 | EE | Ricardo Rocha,
Ricardo Lopes,
Fernando M. A. Silva,
Vítor Santos Costa:
IMPACT: Innovative Models for Prolog with Advanced Control and Tabling.
ICLP 2005: 416-417 |
| 62 | EE | Jesse Davis,
Elizabeth S. Burnside,
Inês de Castro Dutra,
David Page,
Raghu Ramakrishnan,
Vítor Santos Costa,
Jude W. Shavlik:
View Learning for Statistical Relational Learning: With an Application to Mammography.
IJCAI 2005: 677-683 |
| 61 | EE | Aline Paes,
Kate Revoredo,
Gerson Zaverucha,
Vítor Santos Costa:
Probabilistic First-Order Theory Revision from Examples.
ILP 2005: 295-311 |
| 60 | EE | Héctor Corrada Bravo,
David Page,
Raghu Ramakrishnan,
Jude W. Shavlik,
Vítor Santos Costa:
A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment.
ILP 2005: 69-86 |
| 59 | EE | Ricardo Lopes,
Vítor Santos Costa:
Improving Memory Usage in the BEAM.
PADL 2005: 143-157 |
| 58 | EE | Anderson Faustino da Silva,
Vítor Santos Costa:
An Experimental Evaluation of JAVA JIT Technology.
J. UCS 11(7): 1291-1309 (2005) |
| 57 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
On Applying Or-Parallelism and Tabling to Logic Programs.
TPLP 5(1-2): 161-205 (2005) |
| 2004 |
|---|
| 56 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
Concurrent Table Accesses in Parallel Tabled Logic Programs.
Euro-Par 2004: 662-670 |
| 55 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
Speculative Computations in Or-Parallel Tabled Logic Programs.
ICLP 2004: 254-268 |
| 54 | EE | Nuno A. Fonseca,
Vítor Santos Costa,
Fernando M. A. Silva,
Rui Camacho:
On Avoiding Redundancy in Inductive Logic Programming.
ILP 2004: 132-146 |
| 53 | EE | Ricardo Lopes,
Vítor Santos Costa,
Fernando M. A. Silva:
Pruning in the Extended Andorra Model.
PADL 2004: 120-134 |
| 52 | | Ricardo Lopes,
Vítor Santos Costa,
Fernando M. A. Silva:
Exploiting parallelism in the extended andorra model.
Parallel and Distributed Computing and Networks 2004: 483-489 |
| 2003 |
|---|
| 51 | EE | Ricardo Lopes,
Vítor Santos Costa,
Fernando M. A. Silva:
On the BEAM Implementation.
EPIA 2003: 131-135 |
| 50 | EE | Nuno A. Fonseca,
Vítor Santos Costa,
Fernando M. A. Silva,
Rui Camacho:
Experimental Evaluation of a Caching Technique for ILP.
EPIA 2003: 151-155 |
| 49 | EE | Vítor Santos Costa:
Performance Issues in Prolog Applications.
EPIA 2003: 8 |
| 48 | EE | Inês de Castro Dutra,
David Page,
Vítor Santos Costa,
Jude W. Shavlik,
Michael Waddell:
Toward Automatic Management of Embarrassingly Parallel Applications.
Euro-Par 2003: 509-516 |
| 47 | EE | Ricardo Lopes,
Vítor Santos Costa,
Fernando M. A. Silva:
On Deterministic Computations in the Extended Andorra Model.
ICLP 2003: 407-421 |
| 46 | | Vítor Santos Costa,
David Page,
Maleeha Qazi,
James Cussens:
CLP(BN): Constraint Logic Programming for Probabilistic Knowledge.
UAI 2003: 517-524 |
| 45 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
On Applying Or-Parallelism and Tabling to Logic Programs
CoRR cs.LO/0308007: (2003) |
| 44 | EE | Vítor Santos Costa,
Ashwin Srinivasan,
Rui Camacho,
Hendrik Blockeel,
Bart Demoen,
Gerda Janssens,
Jan Struyf,
Henk Vandecasteele,
Wim Van Laer:
Query Transformations for Improving the Efficiency of ILP Systems.
Journal of Machine Learning Research 4: 465-491 (2003) |
| 2002 |
|---|
| 43 | EE | Inês de Castro Dutra,
David Page,
Vítor Santos Costa,
Jude W. Shavlik:
An Empirical Evaluation of Bagging in Inductive Logic Programming.
ILP 2002: 48-65 |
| 42 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
Achieving Scalability in Parallel Tabled Logic Programs.
IPDPS 2002 |
| 41 | EE | Marcelo Lobosco,
Vítor Santos Costa,
Claudio Luis de Amorim:
Performance Evaluation of Fast Ethernet, Giganet, and Myrinet on a Cluster.
International Conference on Computational Science (1) 2002: 296-305 |
| 40 | EE | Ricardo Lopes,
Luís Fernando Castro,
Vítor Santos Costa:
From simulation to practice: cache performance study of a Prolog system.
MSP/ISMM 2002: 56-64 |
| 39 | EE | T. Trevisan,
Vítor Santos Costa,
Lauro Whately,
Claudio Luis de Amorim:
Distributed Shared Memory in Kernel Mode.
SBAC-PAD 2002: 159-168 |
| 2001 |
|---|
| 38 | EE | Luís Fernando Castro,
Vítor Santos Costa:
Understanding Memory Management in Prolog Systems.
ICLP 2001: 11-26 |
| 37 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
On a Tabling Engine That Can Exploit Or-Parallelism.
ICLP 2001: 43-58 |
| 36 | EE | Ricardo Lopes,
Vítor Santos Costa,
Fernando M. A. Silva:
A Novel Implementation of the Extended Andorra Model.
PADL 2001: 199-213 |
| 2000 |
|---|
| 35 | | Enrico Pontelli,
Vítor Santos Costa:
Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings
Springer 2000 |
| 34 | EE | Inês de Castro Dutra,
Vítor Santos Costa,
Ricardo Bianchini:
The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems.
Computational Logic 2000: 1285-1299 |
| 33 | EE | Vítor Santos Costa,
Ricardo Rocha,
Fernando M. A. Silva:
Novel Models for Or-Parallel Logic Programs: A Performance Analysis.
Euro-Par 2000: 744-753 |
| 32 | EE | Vítor Santos Costa,
Ashwin Srinivasan,
Rui Camacho:
A Note on Two Simple Transformations for Improving the Efficiency of an ILP System.
ILP 2000: 225-242 |
| 31 | | Vítor Santos Costa,
Ricardo Bianchini,
Inês de Castro Dutra:
Parallel Logic Programming Systems on Scalable Architectures.
J. Parallel Distrib. Comput. 60(7): 835-852 (2000) |
| 30 | | Enrico Pontelli,
Vítor Santos Costa:
PADL '00: Workshop on Practical Aspects of Declarative Languages.
SIGPLAN Notices 35(3): 16-17 (2000) |
| 1999 |
|---|
| 29 | | Ricardo Lopes,
Vítor Santos Costa:
The BEAM: A first EAM Implementation.
APPIA-GULP-PRODE 1999: 425-440 |
| 28 | | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
YapOr: an Or-Parallel Prolog System Based on Environment Copying.
EPIA 1999: 178-192 |
| 27 | EE | Luís Fernando Castro,
Vítor Santos Costa,
Cláudio F. R. Geyer,
Fernando M. A. Silva,
Patrícia Kayser Vargas,
Manuel Eduardo Correia:
DAOS - Scalable And-Or Parallelism.
Euro-Par 1999: 899-908 |
| 26 | EE | Vítor Santos Costa:
COWL: Copy-On-Write for Logic Programs.
IPPS/SPDP 1999: 720-727 |
| 25 | EE | Marcio G. Silva,
Inês de Castro Dutra,
Ricardo Bianchini,
Vítor Santos Costa:
The Influence of Architectural Parameters on the Performance of Parallel Logic Programming Systems.
PADL 1999: 122-136 |
| 24 | EE | Ricardo Rocha,
Fernando M. A. Silva,
Vítor Santos Costa:
Or-Parallelism within Tabling.
PADL 1999: 137-151 |
| 23 | | Vítor Santos Costa:
Optimising Bytecode Emulation for Prolog.
PPDP 1999: 261-277 |
| 22 | EE | Manuel Eduardo Correia,
Vítor Santos Costa:
IAP for dummies: The YAP Design.
Electr. Notes Theor. Comput. Sci. 30(3): (1999) |
| 21 | EE | Inês de Castro Dutra,
Vítor Santos Costa,
Gopal Gupta,
Enrico Pontelli,
Manuel Carro,
Péter Kacsuk:
Preface.
Electr. Notes Theor. Comput. Sci. 30(3): (1999) |
| 20 | | Kish Shen,
Vítor Santos Costa,
Andy King:
Distance: A New Metric for Controlling Granularity for Parallel Execution.
Journal of Functional and Logic Programming 1999(Special Issue 1): (1999) |
| 1998 |
|---|
| 19 | EE | Vítor Santos Costa,
Ricardo Bianchini:
Optimising Parallel Logic Programming Systems for Scalable Machines.
Euro-Par 1998: 830-841 |
| 18 | | Nuno A. Fonseca,
Vítor Santos Costa,
Inês de Castro Dutra:
VisAll: A Universal Tool to Visualise Parallel Execution of Logic Programs.
IJCSLP 1998: 100-114 |
| 17 | | Kish Shen,
Vítor Santos Costa,
Andy King:
Distance: A New Metric for Controlling Granularity for Parallel Execution.
IJCSLP 1998: 85-99 |
| 1997 |
|---|
| 16 | | Manuel Eduardo Correia,
Fernando M. A. Silva,
Vítor Santos Costa:
The SBA: Exploiting Orthogonality in AND-OR Parallel Systems.
ILPS 1997: 117-131 |
| 15 | | Vítor Santos Costa,
Ricardo Bianchini,
Inês de Castro Dutra:
Evaluating the impact of coherence protocols on parallel logic programming systems.
PDP 1997: 376-381 |
| 1996 |
|---|
| 14 | | Gopal Gupta,
Vítor Santos Costa:
Cuts and Side-Effects in And-Or Parallel Prolog.
J. Log. Program. 27(1): 45-71 (1996) |
| 13 | | Vítor Santos Costa,
David H. D. Warren,
Rong Yang:
Andorra-I Compilation.
New Generation Comput. 14(1): 3-30 (1996) |
| 1995 |
|---|
| 12 | | Gopal Gupta,
Vítor Santos Costa,
Enrico Pontelli:
Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming.
ICLP 1995: 824 |
| 1994 |
|---|
| 11 | | Gopal Gupta,
Manuel V. Hermenegildo,
Enrico Pontelli,
Vítor Santos Costa:
ACE: And/Or-parallel Copying-based Execution of Logic Programs.
ICLP 1994: 93-109 |
| 10 | | Vítor Santos Costa,
Manuel Eduardo Correia,
Fernando M. A. Silva:
Aurora, Andorra-I and Friends on the Sun.
Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 32-41 |
| 1993 |
|---|
| 9 | | Rong Yang,
Tony Beaumont,
Inês de Castro Dutra,
Vítor Santos Costa,
David H. D. Warren:
Performance of the Compiler-Based Andorra-I System.
ICLP 1993: 150-166 |
| 8 | | Gopal Gupta,
Manuel V. Hermenegildo,
Vítor Santos Costa:
And-Or Parallel Prolog: A Recomputation Based Approach.
New Generation Comput. 11(3): 297-321 (1993) |
| 1992 |
|---|
| 7 | | Gopal Gupta,
Manuel V. Hermenegildo,
Vítor Santos Costa:
Generalized Stack-copying for And-Or Parallel Execution of Full Prolog.
IJCSLP Workshop on Concurrent and Parallel Implementations 1992: 0- |
| 6 | | Gopal Gupta,
Vítor Santos Costa:
And-Or Parallelism in Full Prolog with Paged Binding Arrays.
PARLE 1992: 617-632 |
| 5 | | Gopal Gupta,
Vítor Santos Costa:
Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog.
SPDP 1992: 288-295 |
| 1991 |
|---|
| 4 | | Vítor Santos Costa,
David H. D. Warren,
Rong Yang:
The Andorra-I Preprocessor: Supporting Full Prolog on the Basic Andorra Model.
ICLP 1991: 443-456 |
| 3 | | Vítor Santos Costa,
David H. D. Warren,
Rong Yang:
The Andorra-I Engine: A Parallel Implementation of the Basic Andorra Model.
ICLP 1991: 825-839 |
| 2 | | Gopal Gupta,
Vítor Santos Costa,
Rong Yang,
Manuel V. Hermenegildo:
IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism.
ISLP 1991: 152-166 |
| 1 | EE | Vítor Santos Costa,
David H. D. Warren,
Rong Yang:
Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism.
PPOPP 1991: 83-93 |
