Publications in Journals
2013
Batched Evaluation of Linear Tabled Logic ProgramsMiguel Areias and Ricardo Rocha. Journal of Computer Science and Information Systems, Special Issue on Advances in Model Driven Engineering, Languages and Agents, volume 10 (4), pages 1775-1797. October 2013.
BigYAP: Exo-compilation meets UDI
Vítor Santos Costa and David Vaz. Journal of Theory and Practice of
Logic Programming, 29th International Conference on Logic Programming
(ICLP 2013), Special Issue, Cambridge University Press, volume 13
(4&5), pages 799-813. Istanbul, Turkey, August 2013.
2012
Towards Multi-Threaded Local Tabling Using a Common Table SpaceMiguel Areias and Ricardo Rocha. Journal of Theory and Practice of Logic Programming, 28th International Conference on Logic Programming (ICLP 2012), Special Issue, Cambridge University Press, volume 12 (4&5), pages 427-443. Budapest, Hungary, September 2012.
A Design and Implementation of the Extended Andorra Model
Ricardo Lopes, Vítor Santos Costa and Fernando Silva. Journal of
Theory and Practice of Logic Programming, Cambridge University Press,
volume 12 (3), pages 319-360. 2012.
The YAP Prolog System
Vítor Santos Costa, Ricardo Rocha and Luís Damas. Journal of Theory
and Practice of Logic Programming, Cambridge University Press, volume
12 (1&2), pages 5-34. 2012.
2011
On Combining Linear-Based Strategies for Tabled Evaluation of Logic ProgramsMiguel Areias and Ricardo Rocha. Journal of Theory and Practice of Logic Programming, 27th International Conference on Logic Programming (ICLP 2011), Special Issue, Cambridge University Press, volume 11 (4-5), pages 681-696. Lexington, Kentucky, USA, July 2011.
Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation of Logic Programs
Flávio Cruz and Ricardo Rocha. Journal of Theory and Practice of Logic
Programming, 27th International Conference on Logic Programming (ICLP
2011), Special Issue, Cambridge University Press, volume 11 (4-5),
pages 697-712. Lexington, Kentucky, USA, July 2011.
