Publications in Proceedings
2010
Efficient Retrieval of Subsumed Subgoals in Tabled Logic ProgramsFlá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 ProgramsJoã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 LearningLuc 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.