Publications in Proceedings

2010

Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs
Flá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.

Producing EAM code from the WAM
Paulo André and Salvador Abreu. 4th International Conference on Compilers, Programming Languages, Related Technologies and Applications (CoRTA 2010 - Part of INForum 2010), pages 161-172. Braga, Portugal, September 2010.

Casting of the WAM as an EAM
Paulo André and Salvador Abreu. Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010). Edinburgh, Scotland, July 2010.

Portability of Prolog programs: theory and case-studies
Jan Wielemaker and Vítor Santos Costa. Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010). Edinburgh, Scotland, July 2010.

Fire! Firing Inductive Rules from Economic Geography for Fire Risk Detection
David Vaz, Vítor Santos Costa and Michel Ferreira. 20th International Conference on Inductive Logic Programming (ILP 2010). Firenze, Italy, June 2010.

2009

A Very Compact and Efficient Representation of List Terms for Tabled Logic Programs
Joã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.

Trading Memory for Answers: Towards Tabling ProbLog
Angelika Kimmig, Bernd Gutmann and Vítor Santos Costa. International Workshop on Statistical Relational Learning (SRL 2009). Leuven, Belgium, July 2009.

On Connecting PRISM to CLP(BN)
Vítor Santos Costa and Aline Paes. International Workshop on Statistical Relational Learning (SRL 2009). Leuven, Belgium, July 2009.

2008

Towards Digesting the Alphabet-Soup of Statistical Relational Learning
Luc 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.

Remote Homology Detection Through Discriminative Statistical Relational Learning
Joel Bruno Santos da Costa, Juliana S. Bernardes, Vítor Santos Costa and Gerson Zaverucha. ECML'08 Workshop on Statistical and Relational Learning in Bioinformatics (StReBio 2008). Antwerp, Belgium, September 2008.

Modeling Temporal Biomedical Data by SRL
Sriraam Natarajan, Irene Ong, David Haight, David Page and Vítor Santos Costa. ECML'08 Workshop on Statistical and Relational Learning in Bioinformatics (StReBio 2008). Antwerp, Belgium, September 2008.

Towards Transactional Speculative Memory Access in a Dataflow Machine
Leandro A. J. Marzulo, Felipe M. G. França and Vítor Santos Costa. Poster Session of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2008). Seattle, Washington, USA, March 2008.

On Supporting Parallelism in a Logic Programming System
Vítor Santos Costa. 3rd Workshop on Declarative Aspects of Multicore Programming (DAMP 2008), pages 77-91. San Francisco, California, USA, January 2008.