Publications in Proceedings
2013
A Datalog Engine for GPUsCarlos 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 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.
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 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.
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.