Vítor Manuel de Morais Santos Costa


AuthID: R-000-HMB

Publicações Confirmadas: 210



151
TÍTULO: Pruning in the extended Andorra model  Full Text
AUTORES: Lopes, R ; Costa, VS ; Silva, F ;
PUBLICAÇÃO: 2004, FONTE: 6th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 3057
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
152
TÍTULO: Query transformations for improving the efficiency of ILP systems  Full Text
AUTORES: Costa, VS ; Srinivasan, A; Camacho, R ; Blockeel, H; Demoen, B; Janssens, G; Struyf, J; Vandecasteele, H; Van Laer, W;
PUBLICAÇÃO: 2004, FONTE: 10th International Conference on Inductive Logic Programming (ILP2000) in JOURNAL OF MACHINE LEARNING RESEARCH, VOLUME: 4, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
153
TÍTULO: Speculative computations in or-parallel tabled logic programs
AUTORES: Rocha, R ; Silva, F ; Costa, VS ;
PUBLICAÇÃO: 2004, FONTE: 20th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3132
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
154
TÍTULO: An empirical evaluation of bagging in inductive logic programming  Full Text
AUTORES: Dutra, ID ; Page, D; Costa, VS ; Shavlik, J;
PUBLICAÇÃO: 2003, FONTE: 12th International Conference, ILP 2002 in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 2583
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
155
TÍTULO: CLP(BN): Constraint Logic Programming for Probabilistic Knowledge
AUTORES: Vítor Santos Costa ; David Page; Maleeha Qazi; James Cussens;
PUBLICAÇÃO: 2003, FONTE: UAI '03, Proceedings of the 19th Conference in Uncertainty in Artificial Intelligence, Acapulco, Mexico, August 7-10 2003
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
156
TÍTULO: Experimental evaluation of a caching technique for ILP  Full Text
AUTORES: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLICAÇÃO: 2003, FONTE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
157
TÍTULO: From simulation to practice: Cache performance study of a prolog system. cache performance study of a Prolog system
AUTORES: Lopes, R ; Castro, LF ; Costa, VS ;
PUBLICAÇÃO: 2003, FONTE: Workshop on Memory System Performance (MSP 2002) in ACM SIGPLAN NOTICES, VOLUME: 38, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
158
TÍTULO: On deterministic computations in the extended Andorra model
AUTORES: Lopes, R ; Costa, VS ; Silva, F ;
PUBLICAÇÃO: 2003, FONTE: 19th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 2916
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
159
TÍTULO: On the BEAM implementation  Full Text
AUTORES: Lopes, R ; Costa, VS ; Silva, F ;
PUBLICAÇÃO: 2003, FONTE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
160
TÍTULO: Performance Issues in Prolog Applications
AUTORES: Costa, VS ;
PUBLICAÇÃO: 2003, FONTE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 2902, NÚMERO: 2902
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 16 de 21. Total de resultados: 210.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service