Publications in Proceedings

2017

Probabilistic Logic Models and Their Application to Breast Cancer
Joana Côrte-Real, Inês Dutra and Ricardo Rocha. 27th International Conference on Inductive Logic Programming (ILP 2017) - Late-Breaking Papers. Orléans, France, September 2017.

Simpler is Faster: Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog
Miguel Areias and Ricardo Rocha. 10th International Symposium on High-level Parallel Programming and Applications (HLPP 2017), pages 25-42. Valladolid, Spain, July 2017.

Towards an Automated Test Bench Environment for Prolog Systems
Ricardo Gonçalves, Miguel Areias and Ricardo Rocha. 6th Symposium on Languages, Applications and Technologies (SLATE 2017), pages 2:1-2:13. Vila do Conde, Portugal, June 2017.

2015

SkILL - a Stochastic Inductive Logic Learner
Joana Côrte-Real, Theofrastos Mantadelis, Inês Dutra, Ricardo Rocha and Elizabeth Burnside. 14th International Conference on Machine Learning and Applications (ICMLA 2015), pages 555-558. Miami, Florida, USA, December 2015.

Using Probabilistic Logic Programming to Find Patterns
Theofrastos Mantadelis, Ricardo Rocha, Jorge Oliveira and Miguel Tavares Coimbra. 21st Portuguese Conference on Pattern Recognition (RecPad 2015). Faro, Portugal, October 2015.

Thread-Aware Logic Programming For Data-Driven Parallel Programs
Flávio Cruz, Ricardo Rocha and Seth Copen Goldstein. 31st International Conference on Logic Programming (ICLP 2015) - Technical Communications. Cork, Ireland, August/September 2015.

On Extending a Full-Sharing Multithreaded Tabling Design with Batched Scheduling
Miguel Areias and Ricardo Rocha. 4th Symposium on Languages, Applications and Technologies (SLATE 2015), pages 163-172. Madrid, Spain, June 2015.

2014

A Hybrid MapReduce Model for Prolog
Joana Côrte-Real, Inês Dutra and Ricardo Rocha. 14th International Symposium on Integrated Circuits (ISIC 2014), pages 340-343. Singapore, December 2014.

On Scaling Dynamic Programming Problems with a Multithreaded Tabling System
Miguel Areias and Ricardo Rocha. 1st Workshop on Software Engineering for Parallel Systems (SEPS 2014), pages 103-114. Portland, Oregon, USA, October 2014.

A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling
Miguel Areias and Ricardo Rocha. 30th International Conference on Logic Programming (ICLP 2014) - Technical Communications. Vienna, Austria, July 2014.

A Parallel Virtual Machine for Executing Forward-Chaining Linear Logic Programs
Flávio Cruz, Ricardo Rocha and Seth Copen Goldstein. International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2014), pages 125-139. Vienna, Austria, July 2014.

A Portable Prolog Predicate for Printing Rational Terms
Theofrastos Mantadelis and Ricardo Rocha. International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2014), pages 141-153. Vienna, Austria, July 2014.

A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs
Miguel Areias and Ricardo Rocha. 7th International Symposium on High-level Parallel Programming and Applications (HLPP 2014), pages 259-278. Amsterdam, Netherlands, July 2014.

2013

An Or-Parallel Prolog Execution Model for Clusters of Multicores
João Santos and Ricardo Rocha. 16th Portuguese Conference on Artificial Intelligence (EPIA 2013) - Local Proceedings, pages 154-165. Açores, Portugal, September 2013.

Or-Parallel Prolog Execution on Clusters of Multicores
João Santos and Ricardo Rocha. 2nd Symposium on Languages, Applications and Technologies (SLATE 2013), pages 9-20. Porto, Portugal, June 2013.

2012

On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores
Rui Vieira, Ricardo Rocha and Fernando Silva. 12th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012), pages 71-85. Budapest, Hungary, September 2012.

Efficient Support for Mode-Directed Tabling in the YapTab Tabling System
João Santos and Ricardo Rocha. 12th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012), pages 41-55. Budapest, Hungary, September 2012.

On Extending a Linear Tabling Framework to Support Batched Scheduling
Miguel Areias and Ricardo Rocha. Symposium on Languages, Applications and Technologies (SLATE 2012), pages 9-24. Braga, Portugal, June 2012.

Mode-Directed Tabling and Applications in the YapTab System
João Santos and Ricardo Rocha. Symposium on Languages, Applications and Technologies (SLATE 2012), pages 25-40. Braga, Portugal, June 2012.

Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines
Inês Dutra, Ricardo Rocha, Vítor Santos Costa, Fernando Silva and João Santos. Workshop on Multithreaded Architectures and Applications (MTAAP 2012 - Part of IPDPSW 2012), pages 1575-1584. Shanghai, China, May 2012.

Bottom-Up Logic Programming for Multicores
Flávio Cruz, Michael P. Ashley-Rollman, Seth Copen Goldstein, Ricardo Rocha and Frank Pfenning. 7th International Workshop on Declarative Aspects and Applications of Multicore Programming (DAMP 2012) - Short Papers, ACM. Philadelphia, Pennsylvania, USA, January 2012.

2011

A Simple Table Space Design for Retroactive Call Subsumption
Flávio Cruz and Ricardo Rocha. 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) - Local Proceedings, pages 253-267. Lisboa, Portugal, October 2011.

Single Time-Stamped Tries for Retroactive Call Subsumption
Flávio Cruz and Ricardo Rocha. 11th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2011), pages 19-33. Lexington, Kentucky, USA, July 2011.

Global Trie for Subterms
João Raimundo and Ricardo Rocha. 11th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2011), pages 34-48. Lexington, Kentucky, USA, July 2011.

2010

Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs
Flávio Cruz and Ricardo Rocha. 4th International Conference on Compilers, Programming Languages, Related Technologies and Applications (CoRTA 2010 - Part of INForum 2010), pages 201-204. Braga, Portugal, September 2010.

Mixed-Strategies for Linear Tabling in Prolog
Miguel Areias and Ricardo Rocha. 4th International Conference on Compilers, Programming Languages, Related Technologies and Applications (CoRTA 2010 - Part of INForum 2010), pages 205-208. Braga, Portugal, September 2010.

2009

A Very Compact and Efficient Representation of List Terms for Tabled Logic Programs
João Raimundo and Ricardo Rocha. International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2009) - Local Proceedings, pages 157-170. Évora, Portugal, November 2009.

2008

Towards Digesting the Alphabet-Soup of Statistical Relational Learning
Luc De Raedt, Bart Demoen, Daan Fierens, Bernd Gutmann, Gerda Janssens, Angelika Kimmig, Niels Landwehr, Theofrastos Mantadelis, Wannes Meert, Ricardo Rocha, Vítor Santos Costa, Ingo Thon and Joost Vennekens. 1st Workshop on Probabilistic Programming: Universal Languages, Systems and Applications. Whistler, Canada, December 2008.

Tabling Logic Programs in a Common Global Trie
Jorge Costa and Ricardo Rocha. 8th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2008), pages 48-59. Udine, Italy, December 2008.

Efficient Evaluation of Deterministic Tabled Calls
Miguel Areias and Ricardo Rocha. 8th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2008), pages 60-74. Udine, Italy, December 2008.

2007

Implementation of Suspension-Based Tabling in Prolog using External Primitives
Ricardo Rocha, Cláudio Silva and Ricardo Lopes. 13th Portuguese Conference on Artificial Intelligence (EPIA 2007) - Local Proceedings, pages 11-22. Guimarães, Portugal, December 2007.

Tabling Logic Programs in a Database
Pedro Costa, Ricardo Rocha and Michel Ferreira. 21st Workshop on (Constraint) Logic Programming (WLP 2007) - Local Proceedings, pages 125-135. Würzburg, Germany, October 2007.

ILP: Compute Once, Reuse Often
Nuno A. Fonseca, Ricardo Rocha, Rui Camacho and Vítor Santos Costa. 6th Workshop on Multi-Relational Data Mining (MRDM 2007), pages 34-45. Warsaw, Poland, September 2007.

Some Improvements over the Continuation Call Tabling Implementation Technique
Pablo Chico, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva and Ricardo Rocha. 7th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2007), pages 132-146. Porto, Portugal, September 2007.

Relational Storage Mechanisms for Tabled Logic Programs
Pedro Costa, Ricardo Rocha and Michel Ferreira. 1st International Conference on Compiler, Related Technologies and Applications (CoRTA 2007), pages 3-14. Covilhã, Portugal, July 2007.

ILP :- Just Trie It
Rui Camacho, Nuno A. Fonseca, Ricardo Rocha and Vítor Santos Costa. 17th International Conference on Inductive Logic Programming (ILP 2007) - Work-in-Progress Proceedings. Corvallis, Oregon, USA, June 2007.

2006

Efficient and Scalable Induction of Logic Programs using a Deductive Database System
Michel Ferreira, Ricardo Rocha, Tiago Soares and Nuno A. Fonseca. 16th International Conference on Inductive Logic Programming (ILP 2006) - Short Papers, pages 74-76. Santiago de Compostela, Spain, August 2006.

Efficient Support for Incomplete and Complete Tables in the YapTab Tabling System
Ricardo Rocha. 6th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2006), pages 2-17. Seattle, Washington, USA, August 2006.

On Applying Deductive Databases to Inductive Logic Programming: a Performance Study
Tiago Soares, Michel Ferreira, Ricardo Rocha and Nuno A. Fonseca. 6th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2006), pages 80-94. Seattle, Washington, USA, August 2006.

DBTAB: a Relational Storage Model for the YapTab Tabling System
Pedro Costa, Ricardo Rocha and Michel Ferreira. 6th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2006), pages 95-109. Seattle, Washington, USA, August 2006.

2005

Pruning Extensional Predicates in Deductive Databases
Tiago Soares, Ricardo Rocha and Michel Ferreira. 5th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2005), pages 13-24. Sitges, Spain, October 2005.

Coupling OPTYap with a Database System
Michel Ferreira and Ricardo Rocha. IADIS International Conference Applied Computing (IADIS-AC 2005), IADIS Press, volume II, pages 107-114. Algarve, Portugal, February 2005.

2004

Comparing Alternative Approaches for Coupling Logic Programming with Relational Databases
Michel Ferreira, Ricardo Rocha and Sabrina Silva. 4th Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2004), pages 71-82. Saint-Malo, France, September 2004.

2003

A Tabling Engine Designed to Support Mixed-Strategy Evaluation
Ricardo Rocha, Fernando Silva and Vítor Santos Costa. 3rd Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2003), pages 33-44. Mumbai, India, December 2003.

2001

Towards Effective Parallel Logic Programming
Vítor Santos Costa, Inês de Castro Dutra, Felipe França, Marluce Pereira, Patrícia Vargas, Cláudio Geyer, Jorge Barbosa, Cristiano Costa, Priscila Lima, Fátima Dargan, António Branco, Juarez Muylaert Filho, Gopal Gupta, Enrico Pontelli, Manuel Correia, Ricardo Lopes, Ricardo Rocha and Fernando Silva. Projects Evaluation Workshop ProTeM-CC, pages 243-265. Rio de Janeiro, Brazil, October 2001.

2000

A Tabling Engine for the Yap Prolog System
Ricardo Rocha, Fernando Silva and Vítor Santos Costa. 2000 Joint Conference on Declarative Programming (AGP 2000). La Habana, Cuba, December 2000.

YapTab: A Tabling Engine Designed to Support Parallelism
Ricardo Rocha, Fernando Silva and Vítor Santos Costa. 2nd Conference on Tabulation in Parsing and Deduction (TAPD 2000), pages 77-87. Vigo, Spain, September 2000.

1997

On Applying Or-Parallelism to Tabled Evaluations
Ricardo Rocha, Fernando Silva and Vítor Santos Costa. 1st International Workshop on Tabling in Logic Programming (TLP 1997), pages 33-45. Leuven, Belgium, June 1997.