Publications in Journals
2012
A Design and Implementation of the Extended Andorra ModelRicardo Lopes, Vítor Santos Costa and Fernando Silva. Journal of Theory and Practice of Logic Programming, Cambridge University Press, volume 12 (3), pages 319-360. 2012.
The YAP Prolog System
Vítor Santos Costa, Ricardo Rocha and Luís Damas. Journal of Theory
and Practice of Logic Programming, Cambridge University Press, volume
12 (1&2), pages 5-34. 2012.
Predicting the secondary structure of proteins using Machine Learning algorithms
Rui Camacho, Ana Rita Ferreira, Natacha Rosa, Vânia Guimarães, Nuno
A. Fonseca, Vítor Santos Costa, Miguel de Sousa and Alexandre
L. Magalhães. International Journal of Data Mining and Bioinformatics,
Inderscience, volume 6, pages 571-584. 2012.
2011
On the Implementation of the Probabilistic Logic Programming Language ProbLogAngelika Kimmig, Bart Demoen, Luc De Raedt, Vítor Santos Costa and Ricardo Rocha. Journal of Theory and Practice of Logic Programming, Cambridge University Press, volume 11 (2&3), pages 235-262. 2011.
2010
Threads and Or-Parallelism UnifiedVítor Santos Costa, Inês Dutra and Ricardo Rocha. 26th International Conference on Logic Programming (ICLP 2010), Journal of Theory and Practice of Logic Programming, Cambridge University Press. Edinburgh, Scotland, July 2010.
2009
Improving the Efficiency of Inductive Logic Programming SystemsNuno A. Fonseca, Vítor Santos Costa, Ricardo Rocha, Rui Camacho and Fernando Silva. Software: Practice and Experience, Wiley, volume 39 (2), pages 189-219. 2009.
Parallel ILP for Distributed Memory Architectures
Nuno A. Fonseca, Ashwin Srinivasan, Fernando Silva and Rui
Camacho. Machine Learning Journal, Springer, volume 74 (3),
pages 257-279, 2009.
Teaching Artificial Intelligence and Logic Programming in a Competitive Environment
Pedro Ribeiro, Hugo Simões and Michel Ferreira. Informatics in
Education, volume 8 (1), pages 85-100. 2009.
2008
Compile the hypothesis space: do it once, use it oftenNuno A. Fonseca, Rui Camacho, Ricardo Rocha and Vítor Santos Costa. Fundamenta Informaticae, IOS Press, volume 89 (1), pages 45-67. 2008.
