João Pedro Fernandes Raimundo
AuthID: R-001-QDY
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
AUTORES: Joao Raimundo; Ricardo Rocha ;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026
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
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
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
AUTORES: Jorge Costa; Joao Raimundo; Ricardo Rocha ;
PUBLICAÇÃO: 2009, FONTE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649