Publications in Book Series and Book Chapters

2011

On the Portability of Prolog Applications
Jan Wielemaker and Vítor Santos Costa. 13th International Symposium on Practical Aspects of Declarative Languages (PADL 2011), Springer, LNCS 6539, pages 69-83. Austin, Texas, USA, January 2011.

2010

Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
Flávio Cruz and Ricardo Rocha. 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Springer, LNAI 6341, pages 130-142. Helsinki, Finland, September 2010.

Preprocessing Boolean Formulae for BDDs in a Probabilistic Context
Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig and Gerda Janssens. 12th European Conference on Logics in Artificial Intelligence (JELIA 2010), Springer, LNAI 6341, pages 262-274. Helsinki, Finland, September 2010.

Predicting the Start of Protein α-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 and Alexandre Magalhães. 4th International Workshop on Practical Applications of Computational Biology and Bioinformatics (IWPACBB 2008), Springer, AISC 74, pages 33-41. Guimarães, Portugal, June 2010.

Compact Lists for Tabled Evaluation
João Raimundo and Ricardo Rocha. 12th International Symposium on Practical Aspects of Declarative Languages (PADL 2010), Springer, LNCS 5937, pages 249-263. Madrid, Spain, January 2010.

An Efficient Implementation of Linear Tabling Based on Dynamic Reordering of Alternatives
Miguel Areias and Ricardo Rocha. 12th International Symposium on Practical Aspects of Declarative Languages (PADL 2010), Springer, LNCS 5937, pages 279-293. Madrid, Spain, January 2010.

On the Implementation of the CLP(BN) Language
Vítor Santos Costa. 12th International Symposium on Practical Aspects of Declarative Languages (PADL 2010), Springer, LNCS 5937, pages 234-248. Madrid, Spain, January 2010.

Probabilistic Inductive Querying Using ProbLog
Luc De Raedt, Angelika Kimmig, Bernd Gutmann, Kristian Kersting, Vítor Santos Costa and Hannu Toivonen. Inductive Databases and Constraint-Based Data Mining, part 2, Springer, pages 229-262, 2010.

2009

On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs
Miguel Areias and Ricardo Rocha. 14th Portuguese Conference on Artificial Intelligence (EPIA 2009), Springer, LNAI 5816, pages 113-125. Aveiro, Portugal, October 2009.

On Just in Time Indexing of Dynamic Predicates in Prolog
Vítor Santos Costa. 14th Portuguese Conference on Artificial Intelligence (EPIA 2009), Springer, LNAI 5816, pages 126-137. Aveiro, Portugal, October 2009.

A Term-Based Global Trie for Tabled Logic Programs
Jorge Costa, João Raimundo and Ricardo Rocha. 25th International Conference on Logic Programming (ICLP 2009), Springer, LNCS 5649, pages 205-219. Pasadena, California, USA, July 2009.

User Defined Indexing
David Vaz, Vítor Santos Costa and Michel Ferreira. 25th International Conference on Logic Programming (ICLP 2009), Springer, LNCS 5649, pages 372-386. Pasadena, California, USA, July 2009.

Partitional Clustering of Protein Sequences - An Inductive Logic Programming Approach
Nuno A. Fonseca, Vítor Santos Costa, Rui Camacho, Cristina Vieira and Jorge Vieira. 10th International Work-Conference on Artificial Neural Networks (IWANN 2009), Proceedings Part II, Springer, LNCS 5518, pages 1001-1004. Salamanca, Spain, June 2009.

High Level Thread-Based Competitive Or-Parallelism in Logtalk
Paulo Moura, Ricardo Rocha and Sara C. Madeira. 11th International Symposium on Practical Aspects of Declarative Languages (PADL 2009), Springer, LNCS 5418, pages 107-121. Savannah, Georgia, USA, January 2009.

One Table Fits All
Jorge Costa and Ricardo Rocha. 11th International Symposium on Practical Aspects of Declarative Languages (PADL 2009), Springer, LNCS 5418, pages 195-208. Savannah, Georgia, USA, January 2009.

BIORED - A Genetic Algorithm for Pattern Detection in Biosequences
Pedro Pereira and Fernando Silva and Nuno A. Fonseca. 2nd International Workshop on Practical Applications of Computational Biology and Bioinformatics (IWPACBB 2008), pages 156-165. Salamanca, Spain, October 2008. Published in 2009.

Relational Models for Tabling Logic Programs in a Database
Pedro Costa, Ricardo Rocha and Michel Ferreira. 21st Workshop on (Constraint) Logic Programming (WLP 2007), Springer, LNAI 5437, pages 99-116. Würzburg, Germany, October 2007. Published in 2009.

2008

On the Efficient Execution of ProbLog Programs
Angelika Kimmig, Vítor Santos Costa, Ricardo Rocha, Bart Demoen and Luc De Raedt. 24th International Conference on Logic Programming (ICLP 2008), Springer, LNCS 5366, pages 175-189. Udine, Italy, December 2008.

Thread-Based Competitive Or-Parallelism
Paulo Moura, Ricardo Rocha and Sara C. Madeira. 24th International Conference on Logic Programming (ICLP 2008), Springer, LNCS 5366, pages 713-717. Udine, Italy, December 2008.

Global Storing Mechanisms for Tabled Evaluation
Jorge Costa and Ricardo Rocha. 24th International Conference on Logic Programming (ICLP 2008), Springer, LNCS 5366, pages 708-712. Udine, Italy, December 2008.

The Life of a Logic Programming System
Vítor Santos Costa. 24th International Conference on Logic Programming (ICLP 2008), Springer, LNCS 5366, pages 1-6. Udine, Italy, December 2008.

Towards Typed Prolog
Tom Schrijvers, Vítor Santos Costa, Jan Wielemaker and Bart Demoen. 24th International Conference on Logic Programming (ICLP 2008), Springer, LNCS 5366, pages 693-697. Udine, Italy, December 2008.

RUSE-WARMR: Rule Selection for Classifier Induction in Multi-relational Data-Sets
Carlos Abreu Ferreira, João Gama and Vítor Santos Costa. 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), IEEE Computer Society, pages 379-386. Dayton, Ohio, USA, November 2008.

Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations
Leandro A. J. Marzulo, Felipe M. G. França and Vítor Santos Costa. 20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2008), IEEE Computer Society, pages 183-190. Campo Grande, Mato Grosso do Sul, Brazil, October/November 2008.

k-RNN: k-Relational Neareast Neighbour Algorithm
Nuno A. Fonseca, Vítor Santos Costa, Ricardo Rocha and Rui Camacho. 23rd Annual ACM Symposium on Applied Computing (SAC 2008), ACM Press, pages 944-948. Fortaleza, Ceará, Brazil, March 2008.

Large-Scale Simulation of V2V Environments
Hugo Conceição, Luís Damas, Michel Ferreira and João Barros. 23rd Annual ACM Symposium on Applied Computing (SAC 2008), ACM Press, pages 28-33. Fortaleza, Ceará, Brazil, March 2008.

An Improved Continuation Call-Based Implementation of Tabling
Pablo Chico, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva and Ricardo Rocha. 10th International Symposium on Practical Aspects of Declarative Languages (PADL 2008), Springer, LNCS 4902, pages 197-213. San Francisco, California, USA, January 2008.