1
TÍTULO: A Subterm-Based Global Trie for Tabled Evaluation of Logic Programs  Full Text
AUTORES: Joao Raimundo; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026
INDEXADO EM: Scopus WOS DBLP CrossRef
2
TÍTULO: Compact Lists for Tabled Evaluation
AUTORES: Joao Raimundo; Ricardo Rocha ;
PUBLICAÇÃO: 2010, FONTE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
3
TÍTULO: A Term-Based Global Trie for Tabled Logic Programs  Full Text
AUTORES: Jorge Costa; Joao Raimundo; Ricardo Rocha ;
PUBLICAÇÃO: 2009, FONTE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649
INDEXADO EM: Scopus WOS DBLP CrossRef: 2