Posters

On Exploring Safe Memory Reclamation Methods with a Simplified Lock-Free Hash Map Design
30th International European Conference on Parallel and Distributed Computing (Euro-Par 2024). Madrid, Spain, August 2024.

Probabilistic Logic Models and Their Application to Breast Cancer
27th International Conference on Inductive Logic Programming (ILP 2017) - Late-Breaking Papers. Orléans, France, September 2017.

Estimation-Based Search Space Traversal in PILP Environments
26th International Conference on Inductive Logic Programming (ILP 2016). London, UK, September 2016.

SkILL - a Stochastic Inductive Logic Learner
14th International Conference on Machine Learning and Applications (ICMLA 2015). Miami, Florida, USA, December 2015.

Using Probabilistic Logic Programming to Find Patterns
21st Portuguese Conference on Pattern Recognition (RecPad 2015). Faro, Portugal, October 2015.

Thread-Based Competitive Or-Parallelism
24th International Conference on Logic Programming (ICLP 2008). Udine, Italy, December 2008.

Global Storing Mechanisms for Tabled Evaluation
24th International Conference on Logic Programming (ICLP 2008). Udine, Italy, December 2008.

On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog
23rd International Conference on Logic Programming (ICLP 2007). Porto, Portugal, September 2007.

Efficient and Scalable Induction of Logic Programs using a Deductive Database System
16th International Conference on Inductive Logic Programming (ILP 2006). Santiago de Compostela, Spain, August 2006.

An External Module for Implementing Linear Tabling in Prolog
22nd International Conference on Logic Programming (ICLP 2006). Seattle, Washington, USA, August 2006.

IMPACT: Innovative Models for Prolog with Advanced Control and Tabling
21st International Conference on Logic Programming (ICLP 2005). Sitges, Spain, October 2005.

On Applying Tabling to Inductive Logic Programming
16th European Conference on Machine Learning (ECML 2005). Porto, Portugal, October 2005.