Publications in Book Series and Book Chapters
2014
On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic ProgramsMiguel Areias and Ricardo Rocha. 16th International Symposium on Practical Aspects of Declarative Languages (PADL 2014), Springer, LNCS 8324, pages 168-183. San Diego, California, USA, January 2014.
2013
Prolog Programming with a Map-Reduce Parallel ConstructJoana Côrte-Real, Inês Dutra and Ricardo Rocha. 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013), ACM Press, pages 285-295. Madrid, Spain, September 2013.
On the Efficient Implementation of Mode-Directed Tabling
João Santos and Ricardo Rocha. 15th International Symposium on
Practical Aspects of Declarative Languages (PADL 2013),
Springer, LNCS 7752, pages 141-156. Rome, Italy, January 2013.
A Portable and Efficient Implementation of Coinductive Logic Programming
Paulo Moura. 15th International Symposium on Practical Aspects of
Declarative Languages (PADL 2013), Springer, LNCS 7752, pages
77-92. Rome, Italy, January 2013.
LogicObjects: Enabling Logic Programming in Java Through Linguistic Symbiosis
Sergio Castro, Kim Mens and Paulo Moura. 15th International Symposium
on Practical Aspects of Declarative Languages (PADL 2013),
Springer, LNCS 7752, pages 26-42. Rome, Italy, January 2013.
2012
An Efficient and Scalable Memory Allocator for Multithreaded Tabled Evaluation of Logic ProgramsMiguel Areias and Ricardo Rocha. 18th International Conference on Parallel and Distributed Systems (ICPADS 2012), IEEE Computer Society, pages 636-643. Singapore, December 2012.
Agent Spaces: a Scalable Architecture for Distributed Logic Agents
Paul Tarau, Arun Majumdar and Paulo Moura. 2012 Research in Applied
Computation Symposium (RACS 2012), ACM Digital Library, pages
263-268. San Antonio, Texas, USA, October 2012.
Or-Parallel Prolog Execution on Multicores Based on Stack Splitting
Rui Vieira, Ricardo Rocha and Fernando Silva. 7th International
Workshop on Declarative Aspects and Applications of Multicore
Programming (DAMP 2012), ACM Digital Library, pages 1-9. Philadelphia,
Pennsylvania, USA, January 2012.
Meta-Predicate Semantics
Paulo Moura. 21st International Symposium on Logic-Based Program
Synthesis and Transformation (LOPSTR 2011), Springer, LNCS
7225, pages 155-172. Odense, Denmark, July 2011. Published in 2012.
2011
A Subterm-Based Global Trie for Tabled Evaluation of Logic ProgramsJoão Raimundo and Ricardo Rocha. 15th Portuguese Conference on Artificial Intelligence (EPIA 2011), Springer, LNAI 7026, pages 239-253. Lisboa, Portugal, October 2011.
