Publications in Proceedings

2013

A Datalog Engine for GPUs
Carlos Alberto Martínez-Angeles, Inês Dutra, Vítor Santos Costa and Jorge Buenabad-Chávez. 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013), pages 239-253. Kiel, Germany, September 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.

Coinductive Logic Programming in Logtalk
Paulo Moura. 1st Workshop on Coinductive Logic Programming (Co-LP 2012), pages 1-14. 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.

A Linguistic Symbiosis Approach to Bring the Declarative Power of Prolog to Java
Sergio Castro, Kim Mens and Paulo Moura. 9th ECOOP Workshop on Reflection, AOP, and Meta-Data for Software Evolution (RAM-SE 2012), pages 11-16. Beijing, China, 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 Digital Library. 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.

Meta-Predicate Semantics
Paulo Moura. 21st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011) - Pre-Proceedings, pages 48-62. Odense, Denmark, July 2011.