Vítor Manuel de Morais Santos Costa


AuthID: R-000-HMB

Confirmed Publications: 209



131
TITLE: PFORTE: Revising Probabilistic FOL Theories
AUTHORS: Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa ;
PUBLISHED: 2006, SOURCE: IBERAMIA-SBIA, VOLUME: 4140 LNAI
INDEXED IN: Scopus DBLP CrossRef
132
TITLE: The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2006, SOURCE: ICLP, VOLUME: 4079 LNCS
INDEXED IN: Scopus DBLP CrossRef: 1
133
TITLE: The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2006, SOURCE: J. Univers. Comput. Sci., VOLUME: 12, ISSUE: 7
INDEXED IN: Scopus DBLP
134
TITLE: A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment
AUTHORS: Héctor Corrada Bravo; David Page; Raghu Ramakrishnan; Jude W Shavlik; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: ILP, VOLUME: 3625
INDEXED IN: Scopus DBLP CrossRef: 1
135
TITLE: An Experimental Evaluation of JAVA JIT Technology
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2005, SOURCE: J. Univers. Comput. Sci., VOLUME: 11, ISSUE: 7
INDEXED IN: Scopus DBLP
136
TITLE: An integrated approach to learning Bayesian networks of rules
AUTHORS: Davis, J; Burnside, E; Dutra, ID ; Page, D; Costa, VS ;
PUBLISHED: 2005, SOURCE: MACHINE LEARNING: ECML 2005, PROCEEDINGS, VOLUME: 3720
INDEXED IN: Scopus WOS DBLP CrossRef: 20
137
TITLE: Dynamic mixed-strategy evaluation of tabled logic programs
AUTHORS: Rocha, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668
INDEXED IN: Scopus WOS DBLP CrossRef: 7
138
TITLE: IMPACT: Innovative models for prolog with advanced control and tabling. (Extended Abstract)
AUTHORS: Rocha, R ; Lopes, R ; Silva, F ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668
INDEXED IN: Scopus WOS DBLP CrossRef: 1
139
TITLE: Improving memory usage in the BEAM
AUTHORS: Lopes, R ; Costa, VS ;
PUBLISHED: 2005, SOURCE: 7th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 3350
INDEXED IN: Scopus WOS DBLP CrossRef: 1
140
TITLE: Knowledge Discovery from Structured Mammography Reports Using Inductive Logic Programming
AUTHORS: Elizabeth S Burnside; Jesse Davis; Vítor Santos Costa ; Inês de Castro Dutra ; Charles E Kahn Jr.; Jason Fine; David Page;
PUBLISHED: 2005, SOURCE: AMIA
INDEXED IN: Scopus DBLP
Page 14 of 21. Total results: 209.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service