João Raimundo

According to our database, João Raimundo authored at least 4 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

Global Trie for Subterms

João Raimundo, Ricardo Rocha

CoRR, 2011

A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs.

João Raimundo, Ricardo Rocha

Proceedings of the Progress in Artificial Intelligence, 2011

2010

Compact Lists for Tabled Evaluation.

João Raimundo, Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 2010

2009

A Term-Based Global Trie for Tabled Logic Programs.

Jorge Costa, João Raimundo, Ricardo Rocha

Proceedings of the Logic Programming, 25th International Conference, 2009