Invited Talks
Tabling and Or-Parallelism in Yap Prolog: Past, Present and Future21st Workshop on Logic-based methods in Programming Environments (WLPE 2011). Lexington, Kentucky, USA, July 2011.
Talks
On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores32nd International Conference on Logic Programming (ICLP 2016). New York City, New York, USA, October 2016.
Or-Parallel Prolog Execution on Clusters of Multicores
2nd Symposium on Languages, Applications and Technologies (SLATE
2013). Porto, Portugal, June 2013.
On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores
12th Colloquium on Implementation of Constraint and LOgic Programming
Systems (CICLOPS 2012). Budapest, Hungary, September 2012.
Or-Parallel Prolog Execution on Multicores Based on Stack Splitting
7th International Workshop on Declarative Aspects and Applications of
Multicore Programming (DAMP 2012). Philadelphia, Pennsylvania, USA,
January 2012.
A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs
15th Portuguese Conference on Artificial Intelligence (EPIA
2011). Lisboa, Portugal, October 2011.
A Simple Table Space Design for Retroactive Call Subsumption
15th Portuguese Conference on Artificial Intelligence (EPIA
2011). Lisboa, Portugal, October 2011.
Global Trie for Subterms
11th Colloquium on Implementation of Constraint and LOgic Programming
Systems (CICLOPS 2011). Lexington, Kentucky, USA, July 2011.
Efficient Retrieval of Subsumed Subgoals in Tabled Logic Programs
4th International Conference on Compilers, Programming Languages,
Related Technologies and Applications (CoRTA 2010). Braga, Portugal,
September 2010.
A Term-Based Global Trie for Tabled Logic Programs
25th International Conference on Logic Programming (ICLP
2009). Pasadena, California, USA, July 2009.
One Table Fits All
11th International Symposium on Practical Aspects of Declarative
Languages (PADL 2009). Savannah, Georgia, USA, January 2009.
Tabling Logic Programs in a Common Global Trie
8th Colloquium on Implementation of Constraint and LOgic Programming
Systems (CICLOPS 2008). Udine, Italy, December 2008.
Efficient Evaluation of Deterministic Tabled Calls
8th Colloquium on Implementation of Constraint and LOgic Programming
Systems (CICLOPS 2008). Udine, Italy, December 2008.
Global Storing Mechanisms for Tabled Evaluation
24th International Conference on Logic Programming (ICLP 2008). Udine,
Italy, December 2008.
Implementation of Suspension-Based Tabling in Prolog using External Primitives
13th Portuguese Conference on Artificial Intelligence (EPIA
2007). Guimarães, Portugal, December 2007.
Tabling Logic Programs in a Database
21st Workshop on (Constraint) Logic Programming (WLP 2007). Würzburg,
Germany, October 2007.
On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog
23rd International Conference on Logic Programming (ICLP 2007). Porto,
Portugal, September 2007.
On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation
9th International Symposium on Practical Aspects of Declarative
Languages (PADL 2007). Nice, France, January 2007.
Efficient Support for Incomplete and Complete Tables in the YapTab Tabling System
6th Colloquium on Implementation of Constraint and LOgic Programming
Systems (CICLOPS 2006). Seattle, Washington, USA, August 2006.
DBTAB: a Relational Storage Model for the YapTab Tabling System
6th Colloquium on Implementation of Constraint and LOgic Programming
Systems (CICLOPS 2006). Seattle, Washington, USA, August 2006.
Handling Incomplete and Complete Tables in Tabled Logic Programs
22nd International Conference on Logic Programming (ICLP
2006). Seattle, Washington, USA, August 2006.
An External Module for Implementing Linear Tabling in Prolog
22nd International Conference on Logic Programming (ICLP
2006). Seattle, Washington, USA, August 2006.
Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs
21st International Conference on Logic Programming (ICLP
2005). Sitges, Spain, October 2005.
Coupling OPTYap with a Database System
IADIS International Conference Applied Computing (IADIS-AC
2005). Algarve, Portugal, February 2005.
Speculative Computations in Or-Parallel Tabled Logic Programs
20th International Conference on Logic Programming (ICLP
2004). Saint-Malo, France, September 2004.
Concurrent Table Accesses in Parallel Tabled Logic Programs
10th International Euro-Par Conference (EURO-PAR 2004). Pisa, Italy,
August/September 2004.
A Tabling Engine Designed to Support Mixed-Strategy Evaluation
3rd Colloquium on Implementation of Constraint and LOgic Programming
Systems (CICLOPS 2003). Mumbai, India, December 2003.
YapDss: an Or-Parallel Prolog System for Scalable Beowulf Clusters
11th Portuguese Conference on Artificial Intelligence (EPIA 2003).
Beja, Portugal, December 2003.
On a Tabling Engine That Can Exploit Or-Parallelism
17th International Conference on Logic Programming (ICLP
2001). Paphos, Chiprus, November/December 2001.
A Tabling Engine for the Yap Prolog System
APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP
2000). La Habana, Cuba, December 2000.
YapTab: A Tabling Engine Designed to Support Parallelism
2nd Conference on Tabulation in Parsing and Deduction (TAPD
2000). Vigo, Spain, September 2000.
YapOr: an Or-Parallel Prolog System Based on Environment Copying
9th Portuguese Conference on Artificial Intelligence (EPIA
1999). Évora, Portugal, September 1999.
Or-Parallelism within Tabling
1st International Workshop on Practical Aspects of Declarative
Languages (PADL 1999). San Antonio, Texas, USA, January 1999.
On Applying Or-Parallelism to Tabled Evaluations
1st International Workshop on Tabling in Logic Programming (TLP
1997). Leuven, Belgium, June 1997.