Publications in Proceedings
2023
On the Implementation of a Lock-Free Atom Table in a Prolog SystemPedro Moreno, Miguel Areias, Ricardo Rocha and Vítor Santos Costa. 16th International Symposium on High-level Parallel Programming and Applications (HLPP 2023). Cluj-Napoca, Romania, June 2023.
2022
Memory Reclamation for an Elastic Lock-Free Hash Trie Map Design Using Hazard PointersJoão Chamiça Pereira, Pedro Moreno and Ricardo Rocha. 13th INForum - Simpósio de Informática (INForum 2022). Guarda, Portugal, September 2022.
2018
A Modern and Competitive Lock-Free Dynamic Memory AllocatorRicardo Leite and Ricardo Rocha. 10th INForum - Simpósio de Informática (INForum 2018). Coimbra, Portugal, September 2018.
Reclaiming Memory from Lock-Free Hash Tries
Pedro Moreno and Ricardo Rocha. 10th INForum - Simpósio de
Informática (INForum 2018). Coimbra, Portugal, September 2018.
Improving Candidate Quality of Probabilistic Logic Models
Joana Côrte-Real, Anton Dries, Inês Dutra and Ricardo Rocha. 34th
International Conference on Logic Programming (ICLP 2018) - Technical
Communications. Oxford, UK, July 2018.
2017
Probabilistic Logic Models and Their Application to Breast CancerJoana 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 LearnerJoana 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 PrologJoana 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 MulticoresJoã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 MulticoresRui 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 SubsumptionFlá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 ProgramsFlá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 ProgramsJoã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 LearningLuc 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 PrimitivesRicardo 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 SystemMichel 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 DatabasesTiago 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 DatabasesMichel 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 EvaluationRicardo 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 ProgrammingVí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 SystemRicardo 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 EvaluationsRicardo 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.