???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
Vítor Manuel de Morais Santos Costa

Nomes de citação

  • Costa, Vítor

Identificadores de autor

Ciência ID
BF16-3724-B0F9
ORCID iD
0000-0002-3344-8237

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Formação
Grau Classificação
1994
Concluído
 Ciências de Computadores (Doutoramento)
Especialização em Sem especialidade
Universidade do Porto Faculdade de Ciências, Portugal
1993/10/10
Concluído
 Computer Science (Doctor of Philosophy)
Especialização em N/A
University of Bristol, Reino Unido
1984
Concluído
 Engenharia Electrotécnica e de Computadores (Licenciatura)
Universidade do Porto Faculdade de Engenharia, Portugal
"Não tem tese" (TESE/DISSERTAÇÃO)
 18
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2016 - 2019 Professor Associado (Docente Universitário) Universidade do Porto, Portugal
2016 - 2018 Professor Associado (Docente Universitário) Universidade do Porto, Portugal
2013 - 2016 Professor Associado (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
2013 - 2016 Professor Associado (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
2013 - 2014 Professor Associado (Docente Universitário) Universidade do Porto Faculdade de Ciências, Portugal
2013 - 2014 Professor Associado (Docente Universitário) Universidade do Porto Instituto de Ciências Biomédicas Abel Salazar, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2018 - 2019 Coordenação ou direção de centro de investigação, departamento ou equivalente Universidade do Porto, Portugal
Projetos

Bolsa

Designação Financiadores
2012/03/01 - Atual ADE - Adverse Drug Effects Detection
info:eu-repo/grantAgreement/FCT/COMPETE/121686/PT
Investigador responsável
Fundação para a Ciência e a Tecnologia

Projeto

Designação Financiadores
2018/06/15 - 2021/12/14 Deep learning in cancer drug discovery: a pipeline for the generation of new therapies
PTDC/CCI-BIO/31356/2017
Universidade de Coimbra Centro de Neurociências e Biologia Celular, Portugal

Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2016/07/01 - 2019/08/01 Elven - Expressive Logics for VErifying the Net
PTDC/EEI-CTP/3506/2014
Universidade do Porto Faculdade de Ciências, Portugal

Instituto de Engenharia de Sistemas e Computadores, Portugal

Instituto de Telecomunicações, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2013/05/01 - 2015/08/31 ABLe: Advice-Based Learning for Health Care
PTDC/EEI-SII/2094/2012
Instituto de Engenharia de Sistemas e Computadores, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2012/03/01 - 2015/08/31 ADE - Adverse Drug Effects Detection
PTDC/EIA-EIA/121686/2010
Instituto de Engenharia de Sistemas e Computadores, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2011/03/01 - 2014/02/28 LEAP - Logic Environments with Advanced Parallelism
PTDC/EIA-CCO/112158/2009
Instituto de Engenharia de Sistemas e Computadores, Portugal
 Fundação para a Ciência e a Tecnologia
Concluído
2010/04/01 - 2013/03/31 HORUS, Horn Representations of Uncertain Systems
PTDC/EIA-EIA/100897/2008
Instituto de Engenharia de Sistemas e Computadores, Portugal

Universidade de Évora, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2011/03/31 JEDI - A Joint Environment for Deduction and Induction - and its Application over Spatial Data
PTDC/EIA/66924/2006
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Universidade do Porto Faculdade de Ciências, Portugal

Universidade do Porto Instituto de Ciências e Tecnologias Agrárias e Agro-Alimentares, Portugal

Universidade de Évora, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
2008/01/01 - 2011/01/31 STAMPA - Sophisticated TAbling Mechanisms for Prolog and their Applications
PTDC/EIA/67738/2006
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal

Universidade do Porto Faculdade de Ciências, Portugal

Universidade de Évora, Portugal
Fundação para a Ciência e a Tecnologia
Concluído
Produções

Publicações

Artigo em conferência
  1. Machado, D; Costa, VS; Brandao, P. "Impact of the glycaemic sampling method in diabetes data mining". 2022.
    10.1109/iscc55528.2022.9912822
  2. Barbosa, J; Florido, M; Costa, VS. "Typed SLD-Resolution: Dynamic Typing for Logic Programming". 2022.
    10.1007/978-3-031-16767-6_7
  3. Barbosa, J; Florido, M; Costa, VS. "Data Type Inference for Logic Programming". 2022.
    10.1007/978-3-030-98869-2_2
  4. Guimaraes, V; Costa, VS. "Online Learning of Logic Based Neural Network Structures". 2022.
    10.1007/978-3-030-97454-1_10
  5. Silva, C; da Silva, MF; Rodrigues, A; Silva, J; Costa, VS; Jorge, A; Dutra, I. "Predictive Maintenance for Sensor Enhancement in Industry 4.0". 2021.
    10.1007/978-981-16-1685-3_33
  6. Guimarães, V; Costa, VS. "Online Learning of Logic Based Neural Network Structures". 2021.
  7. Rocha, FM; Costa, VS; Reis, LP. "Overcoming Reinforcement Learning Limits with Inductive Logic Programming". 2020.
    10.1007/978-3-030-45691-7_38
  8. Rocha, FM; Costa, VS; Reis, LP. "From Reinforcement Learning Towards Artificial General Intelligence". 2020.
    10.1007/978-3-030-45691-7_37
  9. Machado, D; Costa, VS; Dutra, I; Brandao, P. "Diabetes Management Guidance by a Logical Unit Supported by Data-Mining in a Mobile Application". 2020.
    10.1007/978-3-030-31635-8_169
  10. Barbosa, J; Florido, M; Costa, VS. "A Three-Valued Semantics for Typed Logic Programming". 2019.
    10.4204/eptcs.306.10
  11. Kuusisto, F; Costa, VS; Hou, Z; Thomson, JA; Page, D; Stewart, RM. "Machine Learning to Predict Developmental Neurotoxicity with High-Throughput Data from 2D Bio-Engineered Tissues". 2019.
    10.1109/icmla.2019.00055
  12. Oliveira, M; Moniz, N; Torgo, L; Costa, VS. "Biased Resampling Strategies for Imbalanced Spatio-Temporal Forecasting". 2019.
    10.1109/dsaa.2019.00024
  13. Oliveira, M; Torgo, L; Costa, VS. "Evaluation Procedures for Forecasting with Spatio-Temporal Data". 2018.
    10.1007/978-3-030-10925-7_43
  14. Machado, D; Dutra, I; Brandão, P; Costa, VS. "Managing Diabetes: Counselling Supported by User Data in a Mobile Platform". 2017.
  15. Kuang, Z; Peissig, PL; Costa, VS; Maclin, R; Page, D. "Pharmacovigilance via Baseline Regularization with Large-Scale Longitudinal Observational Data". 2017.
    10.1145/3097983.3097998
  16. Machado, D; Paiva, T; Dutra, I; Costa, VS; Brandao, P. "Managing Diabetes: Pattern Discovery and Counselling supported by user data in a mobile platform". 2017.
    10.1109/ISCC.2017.8024545
  17. Alberto Martinez Angeles, CA; Dutra, I; Costa, VS; Buenabad Chavez, J. "Processing Markov Logic Networks with GPUs: Accelerating Network Grounding". 2016.
    10.1007/978-3-319-40566-7_9
  18. Alberto Martinez Angeles, CA; Dutra, I; Costa, VS; Buenabad Chavez, J. "A Datalog Engine for GPUs". 2014.
    10.1007/978-3-319-08909-6_10
  19. Goncalves, A; Ong, I; Lewis, JA; Costa, VS. "Discovering Differentially Expressed Genes in Yeast Stress Data". 2014.
    10.1109/cbms.2014.127
  20. Amaral, C; Florido, M; Costa, VS. "PrologCheck - Property-Based Testing in Prolog". 2014.
    10.1007/978-3-319-07151-0_1
  21. Goncalves, A; Ong, I; Lewis, JA; Costa, VS. "Towards using Probabilities and Logic to Model Regulatory Networks". 2014.
    10.1109/cbms.2014.9
  22. Kuusisto, F; Costa, VS; Nassif, H; Burnside, E; Page, D; Shavlik, J. "Support vector machines for differential prediction". 2014.
    10.1007/978-3-662-44851-9_4
  23. Davis, J; Costa, VS; Peissig, P; Caldwell, M; Page, D. "A preliminary investigation into predictive models for adverse drug events". 2013.
  24. Angelopoulos, N; Santos Costa, V; Azevedo, J; Wielemaker, J; Camacho, R; Wessels, L. "Integrative functional statistics in logic programming". 2013.
    10.1007/978-3-642-45284-0_13
  25. Ferreira, CA; Gama, J; Costa, VS. "Sequential Pattern Knowledge in Multi-Relational Learning". 2012.
    10.1007/978-1-4471-2155-8_69
  26. Dovier, A; Costa, VS. "Introduction to the technical communications of the 28th international conference on logic programming special issue". 2012.
    10.4230/lipics.iclp.2012.xvii society
  27. Dutra, I; Rocha, R; Costa, VS; Silva, F; Santos, J. "Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines". 2012.
    10.1109/ipdpsw.2012.199
  28. Sardinha, A; Alves, TAO; Marzulo, LAJ; Franca, FMG; Barbosa, VC; Costa, VS. "Scheduling cyclic task graphs with SCC-map". 2012.
    10.1109/wamca.2012.8
  29. Goncalves, A; Ong, IM; Lewis, JA; Santos Costa, V. "A problog model for analyzing gene regulatory networks". 2012.
  30. Camacho, R; Ferreira, R; Rosa, N; Guimaraes, V; Fonseca, NA; Costa, VS; de Sousa, M; Magalhaes, A. "Predicting the Start of Protein alpha-Helices Using Machine Learning Algorithms". 2010.
    10.1007/978-3-642-13214-8_5
  31. Marzulo, LAJ; Alves, TAO; Franc, FMG; Costa, VS. "TALM: A hybrid execution model with distributed speculation support". 2010.
    10.1109/sbac-padw.2010.8
  32. Costa, VS; Fonseca, NA; Camacho, R. "LogCHEM: Interactive Discriminative Mining of Chemical Structure". 2008.
    10.1109/bibm.2008.45
  33. Ferreira, CA; Gama, J; Costa, VS. "RUSE-WARMR: Rule Selection for Classifier Induction in Multi-Relational Data-Sets". 2008.
    10.1109/ictai.2008.73
  34. Marzulo, LAJ; Franca, FMG; Costa, VS. "Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations". 2008.
    10.1109/sbac-pad.2008.29
  35. Sanches, JAL; Vargas, PK; De Dutra, IC; Costa, VS; Geyer, CFR. "ReGS: User-level reliability in a grid environment". 2005.
    10.1109/ccgrid.2005.1558634
  36. Lopes, R; Costa, VS; Silva, F. "Exploiting parallelism in the Extended Andorra Model". 2004.
  37. Costa, VS; Page, D; Qazi, M; Cussens, J. "CLP(BN): Constraint Logic Programming for Probabilistic Knowledge". 2003.
  38. Lopes, R; Castro, LF; Costa, VS. "From simulation to practice: Cache performance study of a Prolog system". 2002.
    10.1145/773146.773045
  39. Rocha, R; Silva, FMA; Costa, VS. "Achieving Scalability in Parallel Tabled Logic Programs". 2002.
    10.1109/IPDPS.2002.1015488
  40. Trevisan, TS; Costa, VS; Whately, L; Amorim, CL. "Distributed shared memory in kernel mode". 2002.
    10.1109/cahpc.2002.1180772
  41. Rocha, R; Silva, FMA; Costa, VS. "On a Tabling Engine That Can Exploit Or-Parallelism". 2001.
    10.1007/3-540-45635-X_11
  42. Lopes, R; Costa, VS; Silva, FMA. "A Novel Implementation of the Extended Andorra Model". 2001.
    10.1007/3-540-45241-9_14
  43. Castro, LF; Costa, VS. "Understanding Memory Management in Prolog Systems". 2001.
    10.1007/3-540-45635-X_9
  44. Costa, VS; Srinivasan, A; Camacho, R. "A Note on Two Simple Transformations for Improving the Efficiency of an ILP System". 2000.
    10.1007/3-540-44960-4_14
  45. Lopes, R; Costa, VS. "The BEAM: A first EAM Implementation". 1999.
  46. Rocha, R; Silva, FMA; Costa, VS. "YapOr: an Or-Parallel Prolog System Based on Environment Copying". 1999.
    10.1007/3-540-48159-1_13
  47. Shen, K; Costa, VS; King, A. "Distance: A New Metric for Controlling Granularity for Parallel Execution". 1998.
  48. Fonseca, N; Costa, VS; Dutra, ID. "VisAll: A universal tool to visualise the parallel execution of logic programs". 1998.
  49. Costa, VS; Bianchini, R; Dutra, IdC. "Evaluating the impact of coherence protocols on parallel logic programming systems". 1997.
  50. Correia, ME; Silva, F; Costa, VS. "The SBA: Exploiting orthogonality in AND-OR parallel systems". 1997.
  51. Gupta, G; Costa, VS; Pontelli, E. "Shared Paged Binding Array: A Universal Datastructure for Parallel Logic Programming". 1995.
  52. Gupta, G; Hermenegildo, MV; Pontelli, E; Costa, VS. "ACE: And/Or-parallel Copying-based Execution of Logic Programs". 1994.
  53. Costa, VS; Correia, ME; Silva, FMA. "Aurora, Andorra-I and Friends on the Sun". 1994.
  54. Yang, R; Beaumont, T; Dutra, IdC; Costa, VS; Warren, DHD. "Performance of the Compiler-Based Andorra-I System". 1993.
  55. Gupta, G; Hermenegildo, MV; Costa, VS. "Generalized Stack-copying for And-Or Parallel Execution of Full Prolog". 1992.
  56. Gupta, G; Costa, VS. "Complete and Efficient Methods for Supporting Side-Effects and Cuts in And-Or Parallel Prolog". 1992.
    10.1109/SPDP.1992.242732
  57. Gupta, G; Costa, VS. "And-Or Parallelism in Full Prolog with Paged Binding Arrays". 1992.
    10.1007/3-540-55599-4_114
  58. Costa, VS; Warren, DHD; Yang, R. "Andorra-I: A Parallel Prolog System that Transparently Exploits both And- and Or-Parallelism". 1991.
    10.1145/109625.109635
Artigo em revista
  1. Korner, P; Leuschel, M; Barbosa, J; Costa, VS; Dahl, V; Hermenegildo, MV; Morales, JF; et al. "Fifty Years of Prolog and Beyond". THEORY AND PRACTICE OF LOGIC PROGRAMMING (2022):
    10.1017/s1471068422000102
  2. Nícia Rosário-Ferreira; Catarina Marques-Pereira; Manuel N. Pires; Daniel Ramalhão; Nádia Pereira; Victor Guimarães; Vitor Santos Costa; Irina Moreira. "The Treasury Chest of Text Mining: Piling Available Resources for Powerful Biomedical Text Mining". BioChem (2021): https://www.mdpi.com/2673-6411/1/2/7.
    10.3390/biochem1020007
  3. Oliveira, M; Moniz, N; Torgo, L; Costa, VS. "Biased resampling strategies for imbalanced spatio-temporal forecasting". INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS (2021):
    10.1007/s41060-021-00256-2
  4. Rosario Ferreira, N; Guimaraes, V; Costa, VS; Moreira, IS. "SicknessMiner: a deep-learning-driven text-mining tool to abridge disease-disease associations". BMC BIOINFORMATICS (2021):
    10.1186/s12859-021-04397-w
  5. Oliveira, M; Torgo, L; Costa, VS. "Evaluation Procedures for Forecasting with Spatiotemporal Data". MATHEMATICS (2021):
    10.3390/math9060691
  6. Ferreira, CA; Gama, J; Costa, VS. "Contrasting logical sequences in multi-relational learning". PROGRESS IN ARTIFICIAL INTELLIGENCE (2019):
    10.1007/s13748-019-00188-w
  7. Paes, A; Zaverucha, G; Costa, VS. "On the use of stochastic local search techniques to revise first-order logic theories from examples". MACHINE LEARNING (2017):
    10.1007/s10994-016-5595-3
  8. Sriraam Natarajan; Vishal Bangera; Tushar Khot; Jose Picado; Anurag Wazalwar; Vitor Santos Costa; David Page; Michael Caldwell. "Markov logic networks for adverse drug event extraction from text". Knowl Inf Syst (2016): http://dx.doi.org/10.1007/s10115-016-0980-6.
    10.1007/s10115-016-0980-6
  9. Alberto Martinez Angeles, CA; Wu, HC; Dutra, I; Costa, VS; Buenabad Chavez, J. "Relational Learning with GPUs: Accelerating Rule Coverage". INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING (2016): https://www.authenticus.pt/P-00K-9ZT.
    10.1007/s10766-015-0364-7
  10. Michael P. Schwartz; Zhonggang Hou; Nicholas E. Propson; Jue Zhang; Collin J. Engstrom; Vitor Santos Costa; Peng Jiang; et al. "Human pluripotent stem cell-derived neural constructs for predicting neural toxicity". Proc Natl Acad Sci USA 112 40 (2015): 12516-12521. http://dx.doi.org/10.1073/pnas.1516645112.
    10.1073/pnas.1516645112
  11. Gerson Zaverucha; Santos Costa Vítor. "Guest editors’ introduction: special issue on Inductive Logic Programming and on Multi-Relational Learning". Mach Learn 100 1 (2015): 1-3. http://dx.doi.org/10.1007/s10994-015-5514-z.
    10.1007/s10994-015-5514-z
  12. Ferreira, CA; Gama, J; Costa, VS. "Exploring multi-relational temporal databases with a propositional sequence miner". Progress in AI (2015):
    10.1007/s13748-015-0065-x
  13. ELENA BELLODI; EVELINA LAMMA; FABRIZIO RIGUZZI; VITOR SANTOS COSTA; RICCARDO ZESE. "Lifted Variable Elimination for Probabilistic Logic Programming". Theory and Practice of Logic Programming 14 4-5 (2014): 681-695. http://dx.doi.org/10.1017/s1471068414000283.
    10.1017/s1471068414000283
  14. Marzulo, LAJ; Alves, TAO; Franca, FMG; Costa, VS. "Couillard: Parallel programming via coarse-grained Data-flow Compilation". PARALLEL COMPUTING (2014): https://www.authenticus.pt/P-009-ZC7.
    10.1016/j.parco.2014.10.002
  15. Peissig, PL; Costa, VS; Caldwell, MD; Rottscheit, C; Berg, RL; Mendonca, EA; Page, D. "Relational machine learning for electronic health record-driven phenotyping". JOURNAL OF BIOMEDICAL INFORMATICS (2014): https://www.authenticus.pt/P-00A-2ET.
    10.1016/j.jbi.2014.07.007
  16. VÍTOR SANTOS COSTA; DAVID VAZ. "BigYAP: Exo-compilation meets UDI". Theory and Practice of Logic Programming 13 4-5 (2013): 799-813. http://dx.doi.org/10.1017/s1471068413000501.
    10.1017/s1471068413000501
  17. Nassif, H.; Kuusisto, F.; Burnside, E.S.; Page, D.; Shavlik, J.; Santos Costa, V.. "Score As You Lift (SAYL): A statistical relational learning approach to uplift modeling". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 8190 LNAI PART 3 (2013): 595-611. http://www.scopus.com/inward/record.url?eid=2-s2.0-84886524969&partnerID=MN8TOARS.
    10.1007/978-3-642-40994-3_38
  18. Gomes, T.; Santos Costa, V.. "Evaluating inference algorithms for the Prolog factor language". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7842 LNAI (2013): 74-85. http://www.scopus.com/inward/record.url?eid=2-s2.0-84883364754&partnerID=MN8TOARS.
    10.1007/978-3-642-38812-5_6
  19. Santos Costa, V.; Vaz, D.. "BigYAP: Exo-compilation meets UDI". Theory and Practice of Logic Programming 13 4-5 (2013): 799-813. http://www.scopus.com/inward/record.url?eid=2-s2.0-84884734990&partnerID=MN8TOARS.
    10.1017/S1471068413000501
  20. AGOSTINO DOVIER; VÍTOR SANTOS COSTA. "Introduction to the 28th international conference on logic programming special issue". Theory and Practice of Logic Programming 12 4-5 (2012): 421-426. http://dx.doi.org/10.1017/s1471068412000300.
    10.1017/s1471068412000300
  21. Ferreira, C.A.; Gama, J.; Costa, V.S.. "Sequential pattern knowledge in multi-relational learning". Computer and Information Sciences II - 26th International Symposium on Computer and Information Sciences, ISCIS 2011 (2012): 539-545. http://www.scopus.com/inward/record.url?eid=2-s2.0-84887854925&partnerID=MN8TOARS.
    10.1007/978-1-4471-2155-8-69
  22. Dovier, A.; Costa, V.S.. "Introduction to the technical communications of the 28th international conference on logic programming special issue". Leibniz International Proceedings in Informatics, LIPIcs 17 (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-84880208422&partnerID=MN8TOARS.
    10.4230/LIPIcs.ICLP.2012.xvii Society
  23. Dovier, A.; Santos Costa, V.. "Introduction to the 28th international conference on logic programming special issue". Theory and Practice of Logic Programming 12 4-5 (2012): 421-426. http://www.scopus.com/inward/record.url?eid=2-s2.0-84871957277&partnerID=MN8TOARS.
    10.1017/S1471068412000300
  24. Lopes, R.; Costa, V.S.; Silva, F.. "A design and implementation of the Extended Andorra Model". Theory and Practice of Logic Programming 12 3 (2012): 319-360. http://www.scopus.com/inward/record.url?eid=2-s2.0-84861409624&partnerID=MN8TOARS.
    10.1017/S1471068411000068
  25. Ferreira, C.A.; Gama, J.; Santos Costa, V.. "Predictive sequence miner in ILP learning". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7207 LNAI (2012): 130-144. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864859620&partnerID=MN8TOARS.
    10.1007/978-3-642-31951-8_15
  26. Fonseca, N.A.; Santos Costa, V.; Camacho, R.. "Conceptual clustering of multi-relational data". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7207 LNAI (2012): 145-159. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864862749&partnerID=MN8TOARS.
    10.1007/978-3-642-31951-8_16
  27. Acar, U.; Costa, V.S.. "Foreword". Conference Record of the Annual ACM Symposium on Principles of Programming Languages (2012): http://www.scopus.com/inward/record.url?eid=2-s2.0-84857591689&partnerID=MN8TOARS.
  28. Costa, V.S.; Rocha, R.; Damas, L.. "The YAP Prolog system". Theory and Practice of Logic Programming 12 1-2 (2012): 5-34. http://www.scopus.com/inward/record.url?eid=2-s2.0-84856156645&partnerID=MN8TOARS.
    10.1017/S1471068411000512
  29. Page, D.; Costa, V.S.; Natarajan, S.; Barnard, A.; Peissig, P.; Caldwell, M.. "Identifying adverse drug events by relational learning". Proceedings of the National Conference on Artificial Intelligence 2 (2012): 1599-1605. http://www.scopus.com/inward/record.url?eid=2-s2.0-84868281359&partnerID=MN8TOARS.
  30. Ferreira, C.A.; Gama, J.; Santos Costa, V.; Miranda, V.; Botterud, A.. "Predicting ramp events with a stream-based hmm framework". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7569 LNAI (2012): 224-238. http://www.scopus.com/inward/record.url?eid=2-s2.0-84868138078&partnerID=MN8TOARS.
    10.1007/978-3-642-33492-4_19
  31. Sardinha, A.; Alves, T.A.O.; Marzulo, L.A.J.; França, F.M.G.; Barbosa, V.C.; Costa, V.S.. "Scheduling cyclic task graphs with SCC-map". Proceedings - 3rd Workshop on Applications for Multi-Core Architecture, WAMCA 2012 (2012): 54-59. http://www.scopus.com/inward/record.url?eid=2-s2.0-84872002139&partnerID=MN8TOARS.
    10.1109/WAMCA.2012.8
  32. Camacho, R.; Ferreira, R.; Rosa, N.; Guimarães, V.; Fonseca, N.A.; Costa, V.S.; De Sousa, M.; Magalhães, A.. "Predicting the secondary structure of proteins using machine learning algorithms". International Journal of Data Mining and Bioinformatics 6 6 (2012): 571-584. http://www.scopus.com/inward/record.url?eid=2-s2.0-84869782854&partnerID=MN8TOARS.
    10.1504/IJDMB.2012.050265
  33. Boyd, K.; Costa, V.S.; Davis, J.; Page, C.D.. "Unachievable region in precision-recall space and its effect on empirical evaluation". Proceedings of the 29th International Conference on Machine Learning, ICML 2012 1 (2012): 639-646. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867122322&partnerID=MN8TOARS.
  34. Nassif, H.; Santos Costa, V.; Burnside, E.S.; Page, D.. "Relational differential prediction". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7523 LNAI PART 1 (2012): 617-632. http://www.scopus.com/inward/record.url?eid=2-s2.0-84866885520&partnerID=MN8TOARS.
    10.1007/978-3-642-33460-3_45
  35. Dutra, I.; Rocha, R.; Costa, V.S.; Silva, F.; Santos, J.. "Scheduling OR-parallelism in YapOr and ThOr on multi-core machines". Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012 (2012): 1581-1590. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867415701&partnerID=MN8TOARS.
    10.1109/IPDPSW.2012.199
  36. Davis, J.; Costa, V.S.; Peissig, P.; Caldwell, M.; Berg, E.; Page, D.. "Demand-driven clustering in relational domains for predicting adverse drug events". Proceedings of the 29th International Conference on Machine Learning, ICML 2012 2 (2012): 1287-1294. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867115267&partnerID=MN8TOARS.
  37. Camacho, R; Ferreira, R; Rosa, N; Guimaraes, V; Fonseca, NA; Costa, VS; de Sousa, M; Magalhaes, A. "Predicting the secondary structure of proteins using Machine Learning algorithms". INTERNATIONAL JOURNAL OF DATA MINING AND BIOINFORMATICS (2012):
    10.1504/ijdmb.2012.050265
  38. Costa, VS; Dantas, S; Sankoff, D; Xu, X. "Gene clusters as intersections of powers of paths". J. Braz. Comp. Soc. (2012): https://www.authenticus.pt/P-00K-AQA.
    10.1007/s13173-012-0064-8
  39. VÍTOR SANTOS COSTA; RICARDO ROCHA; LUÍS DAMAS. "The YAP Prolog system". Theory and Practice of Logic Programming 12 1-2 (2011): 5-34. http://dx.doi.org/10.1017/s1471068411000512.
    10.1017/s1471068411000512
  40. RICARDO LOPES; VÍTOR SANTOS COSTA; FERNANDO SILVA. "A design and implementation of the Extended Andorra Model". Theory and Practice of Logic Programming 12 03 (2011): 319-360. http://dx.doi.org/10.1017/s1471068411000068.
    10.1017/s1471068411000068
  41. Fonseca, N.A.; Pereira, M.; Santos Costa, V.; Camacho, R.. "Interactive discriminative mining of chemical fragments". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6489 LNAI (2011): 59-66. http://www.scopus.com/inward/record.url?eid=2-s2.0-79959311760&partnerID=MN8TOARS.
    10.1007/978-3-642-21295-6_10
  42. Alves, T.A.O.; Marzulo, L.A.J.; França, F.M.G.; Costa, V.S.. "Trebuchet: Exploring TLP with dataflow virtualisation". International Journal of High Performance Systems Architecture 3 2-3 (2011): 137-148. http://www.scopus.com/inward/record.url?eid=2-s2.0-79957794090&partnerID=MN8TOARS.
    10.1504/IJHPSA.2011.040466
  43. Camacho, R.; Pereira, M.; Costa, V.S.; Fonseca, N.A.; Simões, C.J.V.; Brito, R.M.M.. "Assessing the effect of 2D fingerprint filtering on ilp-based structure-activity relationships toxicity studies in drug design". Advances in Intelligent and Soft Computing 93 (2011): 355-363. http://www.scopus.com/inward/record.url?eid=2-s2.0-80052957010&partnerID=MN8TOARS.
    10.1007/978-3-642-19914-1_46
  44. Vaz, D.; Santos Costa, V.; Ferreira, M.. "Fire! firing inductive rules from economic geography for fire risk detection". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6489 LNAI (2011): 238-252. http://www.scopus.com/inward/record.url?eid=2-s2.0-79959295143&partnerID=MN8TOARS.
    10.1007/978-3-642-21295-6_27
  45. Kimmig, A.; Demoen, B.; De Raedt, L.; Costa, V.S.; Rocha, R.. "On the implementation of the probabilistic logic programming language ProbLog". Theory and Practice of Logic Programming 11 2-3 (2011): 235-262. http://www.scopus.com/inward/record.url?eid=2-s2.0-79960372387&partnerID=MN8TOARS.
    10.1017/S1471068410000566
  46. Wielemaker, J.; Costa, V.S.. "On the portability of Prolog applications". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6539 LNCS (2011): 69-83. http://www.scopus.com/inward/record.url?eid=2-s2.0-79551601216&partnerID=MN8TOARS.
    10.1007/978-3-642-18378-2_8
  47. Camacho, R.; Pereira, M.; Costa, V.S.; Fonseca, N.A.; Adriano, C.; Simões, C.J.; Brito, R.M.. "A relational learning approach to Structure-Activity Relationships in drug design toxicity studies.". Journal of integrative bioinformatics 8 3 (2011): http://www.scopus.com/inward/record.url?eid=2-s2.0-84855564111&partnerID=MN8TOARS.
    10.2390/biecoll-jib-2011-182
  48. Ferreira, C.A.; Gama, J.; Costa, V.S.. "Constrained sequential pattern knowledge in multi-relational learning". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7026 LNAI (2011): 282-296. http://www.scopus.com/inward/record.url?eid=2-s2.0-80054830314&partnerID=MN8TOARS.
    10.1007/978-3-642-24769-9_21
  49. Kimmig, A; Demoen, B; De Raedt, L; Costa, VS; Rocha, R. "On the implementation of the probabilistic logic programming language ProbLog". THEORY AND PRACTICE OF LOGIC PROGRAMMING (2011): https://www.authenticus.pt/P-002-V1J.
    10.1017/s1471068410000566
  50. Tiago A.O. Alves; Leandro A.J. Marzulo; Felipe M.G. Franca; Vitor Santos Costa. "Trebuchet: exploring TLP with dataflow virtualisation". International Journal of High Performance Systems Architecture 3 2/3 (2011): 137-137. http://dx.doi.org/10.1504/ijhpsa.2011.040466.
    10.1504/ijhpsa.2011.040466
  51. VíTOR SANTOS COSTA; INÊS DUTRA; RICARDO ROCHA. "Threads and or-parallelism unified". Theory and Practice of Logic Programming 10 4-6 (2010): 417-432. http://dx.doi.org/10.1017/s1471068410000190.
    10.1017/s1471068410000190
  52. Santos Costa, V.; Dutra, I.; Rocha, R.. "Threads and or-parallelism unified". Theory and Practice of Logic Programming 10 4-6 (2010): 417-432. http://www.scopus.com/inward/record.url?eid=2-s2.0-77957240853&partnerID=MN8TOARS.
    10.1017/S1471068410000190
  53. Costa, V.S.. "On the implementation of the CLP(BN) language". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5937 LNCS (2010): 234-248. http://www.scopus.com/inward/record.url?eid=2-s2.0-77749243045&partnerID=MN8TOARS.
    10.1007/978-3-642-11503-5_20
  54. Muggleton, S.; Paes, A.; Santos Costa, V.; Zaverucha, G.. "Chess revision: Acquiring the rules of chess variants through FOL theory revision from examples". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5989 LNAI (2010): 123-130. http://www.scopus.com/inward/record.url?eid=2-s2.0-77955023450&partnerID=MN8TOARS.
    10.1007/978-3-642-13840-9_12
  55. Ferreira, C.A.; Gama, J.; Costa, V.S.. "Sequential pattern mining in multi-relational datasets". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5988 LNAI (2010): 121-130. http://www.scopus.com/inward/record.url?eid=2-s2.0-77955041040&partnerID=MN8TOARS.
    10.1007/978-3-642-14264-2_13
  56. Wielemaker, J.; Santos Costa, V.S.. "Portability of Prolog programs: Theory and case-studies". Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010 (2010): http://www.scopus.com/inward/record.url?eid=2-s2.0-84886661990&partnerID=MN8TOARS.
  57. Marzulo, L.A.J.; Alves, T.A.O.; Franç, F.M.G.; Costa, V.S.. "TALM: A hybrid execution model with distributed speculation support". Proceedings - 22nd International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2010, 1st Workshop on Applications for Multi and Many Core Architectures, WAMMCA (2010): 31-36. http://www.scopus.com/inward/record.url?eid=2-s2.0-78650834337&partnerID=MN8TOARS.
    10.1109/SBAC-PADW.2010.8
  58. Gama, J.; Costa, V.S.; Jorge, A.; Brazdil, P.. "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5808 LNAI (2009): http://www.scopus.com/inward/record.url?eid=2-s2.0-71049144511&partnerID=MN8TOARS.
  59. Santos Costa, V.. "On just in time indexing of dynamic predicates in prolog". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5816 LNAI (2009): 126-137. http://www.scopus.com/inward/record.url?eid=2-s2.0-71049121532&partnerID=MN8TOARS.
    10.1007/978-3-642-04686-5_11
  60. Pereira, M.; Costa, V.S.; Camacho, R.; Fonseca, N.A.. "Visually guiding and controlling the search while mining chemical structures". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5518 LNCS PART 2 (2009): 1043-1046. http://www.scopus.com/inward/record.url?eid=2-s2.0-77952579858&partnerID=MN8TOARS.
    10.1007/978-3-642-02481-8_158
  61. Fonseca, N.A.; Costa, V.S.; Camacho, R.; Vieira, C.; Vieira, J.. "Partitional clustering of protein sequences - An inductive logic programming approach". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5518 LNCS PART 2 (2009): 1001-1004. http://www.scopus.com/inward/record.url?eid=2-s2.0-77952573704&partnerID=MN8TOARS.
    10.1007/978-3-642-02481-8_152
  62. Fonseca, N.A.; Costa, V.S.; Rocha, R.; Camacho, R.; Silva, F.. "Improving the efficiency of inductive logic programming systems". Software - Practice and Experience 39 2 (2009): 189-219. http://www.scopus.com/inward/record.url?eid=2-s2.0-60349091006&partnerID=MN8TOARS.
    10.1002/spe.896
  63. Vaz, D.; Costa, V.S.; Ferreira, M.. "User defined indexing". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5649 LNCS (2009): 372-386. http://www.scopus.com/inward/record.url?eid=2-s2.0-69949143921&partnerID=MN8TOARS.
    10.1007/978-3-642-02846-5_31
  64. Pereira, M.; Costa, V.S.; Camacho, R.; Fonseca, N.A.; Simões, C.; Brito, R.M.M.. "Comparative study of classification algorithms using molecular descriptors in toxicological databases". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5676 LNBI (2009): 121-132. http://www.scopus.com/inward/record.url?eid=2-s2.0-69949180023&partnerID=MN8TOARS.
    10.1007/978-3-642-03223-3_11
  65. Kimmig, A.; Santos Costa, V.; Rocha, R.; Demoen, B.; De Raedt, L.. "On the efficient execution of problog programs". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5366 LNCS (2008): 175-189. http://www.scopus.com/inward/record.url?eid=2-s2.0-58549084036&partnerID=MN8TOARS.
    10.1007/978-3-540-89982-2_22
  66. Camacho, R.; Fonseca, N.A.; Rocha, R.; Costa, V.S.. "ILP :- Just trie it". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4894 LNAI (2008): 78-87. http://www.scopus.com/inward/record.url?eid=2-s2.0-40249098653&partnerID=MN8TOARS.
    10.1007/978-3-540-78469-2_11
  67. Fonseca, N.A.; Camacho, R.; Rocha, R.; Costa, V.S.. "Compile the hypothesis space: Do it once, use it often". Fundamenta Informaticae 89 1 (2008): 45-67. http://www.scopus.com/inward/record.url?eid=2-s2.0-58149520441&partnerID=MN8TOARS.
  68. Marzulo, L.A.J.; França, F.M.G.; Costa, V.S.. "Transactional WaveCache: Towards speculative and out-of-order dataflow execution of memory operations". Proceedings - Symposium on Computer Architecture and High Performance Computing (2008): 183-190. http://www.scopus.com/inward/record.url?eid=2-s2.0-58049161991&partnerID=MN8TOARS.
    10.1109/SBAC-PAD.2008.29
  69. Paes, A.; Zaverucha, G.; Santos Costa, V.. "Revising first-order logic theories from examples through stochastic local search". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4894 LNAI (2008): 200-210. http://www.scopus.com/inward/record.url?eid=2-s2.0-40249096014&partnerID=MN8TOARS.
    10.1007/978-3-540-78469-2_21
  70. Santos Costa, V.; Page, D.; Cussens, J.. "CLP(BN): Constraint logic programming for probabilistic knowledge". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4911 LNAI (2008): 156-188. http://www.scopus.com/inward/record.url?eid=2-s2.0-40249092956&partnerID=MN8TOARS.
    10.1007/978-3-540-78652-8_6
  71. Ferreira, C.A.; Gama, J.; Costa, V.S.. "RUSE-WARMR: Rule selection for classifier induction in multi-relational data-sets". Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI 1 (2008): 379-386. http://www.scopus.com/inward/record.url?eid=2-s2.0-57649155531&partnerID=MN8TOARS.
    10.1109/ICTAI.2008.73
  72. Santos Costa, V.. "The life of a logic programming system". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5366 LNCS (2008): 1-6. http://www.scopus.com/inward/record.url?eid=2-s2.0-58549093428&partnerID=MN8TOARS.
    10.1007/978-3-540-89982-2_1
  73. Costa, V.S.; Fonseca, N.A.; Camacho, R.. "LogCHEM: Interactive discriminative mining of chemical structure". Proceedings - IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2008 (2008): 421-426. http://www.scopus.com/inward/record.url?eid=2-s2.0-58049158463&partnerID=MN8TOARS.
    10.1109/BIBM.2008.45
  74. Fonseca, N.A.; Costa, V.S.; Rocha, R.; Camacho, R.. "K-RNN: K-relational nearest neighbour algorithm". Proceedings of the ACM Symposium on Applied Computing (2008): 944-948. http://www.scopus.com/inward/record.url?eid=2-s2.0-56849110162&partnerID=MN8TOARS.
    10.1145/1363686.1363901
  75. Schrijvers, T.; Santos Costa, V.; Wielemaker, J.; Demoen, B.. "Towards typed prolog". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 5366 LNCS (2008): 693-697. http://www.scopus.com/inward/record.url?eid=2-s2.0-58549101751&partnerID=MN8TOARS.
    10.1007/978-3-540-89982-2_59
  76. Ong, I.M.; Topper, S.E.; Page, D.; Costa, V.S.. "Inferring regulatory networks from time series expression data and relational data via inductive logic programming". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4455 LNAI (2007): 366-378. http://www.scopus.com/inward/record.url?eid=2-s2.0-38049129190&partnerID=MN8TOARS.
    10.1007/978-3-540-73847-3_34
  77. Davis, J.; Ong, I.; Struyf, J.; Burnside, E.; Page, D.; Costa, V.S.. "Change of representation for statistical relational learning". IJCAI International Joint Conference on Artificial Intelligence (2007): 2719-2726. http://www.scopus.com/inward/record.url?eid=2-s2.0-84880880885&partnerID=MN8TOARS.
  78. Da Silva, A.F.; Santos Costa, V.. "Design, implementation, and evaluation of a dynamic compilation framework for the YAP system". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4670 LNCS (2007): 410-424. http://www.scopus.com/inward/record.url?eid=2-s2.0-38149034558&partnerID=MN8TOARS.
    10.1007/978-3-540-74610-2_28
  79. Bernardes, J.S.; Dávila, A.M.R.; Costa, V.S.; Zaverucha, G.. "Improving model construction of profile HMMs for remote homology detection through structural alignment". BMC Bioinformatics 8 (2007): http://www.scopus.com/inward/record.url?eid=2-s2.0-39449089407&partnerID=MN8TOARS.
    10.1186/1471-2105-8-435
  80. Santos Costa, V.; Sagonas, K.; Lopes, R.. "Demand-driven indexing of prolog clauses". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4670 LNCS (2007): 395-409. http://www.scopus.com/inward/record.url?eid=2-s2.0-38149057655&partnerID=MN8TOARS.
    10.1007/978-3-540-74610-2_27
  81. Costa, V.S.. "Prolog performance on larger datasets". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4354 LNCS (2007): 185-199. http://www.scopus.com/inward/record.url?eid=2-s2.0-84887342039&partnerID=MN8TOARS.
    10.1007/978-3-540-69611-7-12
  82. Bigonha, R.S.; Musicante, M.A.; Pardo, A.; Garcia, A.; Martini, A.; Moreira, Á.F.; De Melo, A.C.V.; et al. "Selected papers from SBLP 2007: The 11th brazilian symposium on programming languages J.UCS special issue". Journal of Universal Computer Science 13 6 (2007): 679-681. http://www.scopus.com/inward/record.url?eid=2-s2.0-34548013342&partnerID=MN8TOARS.
  83. Davis, J.; Costa, V.S.; Ray, S.; Page, D.. "An integrated approach to feature invention and model construction for drug activity prediction". ACM International Conference Proceeding Series 227 (2007): 217-224. http://www.scopus.com/inward/record.url?eid=2-s2.0-34547973746&partnerID=MN8TOARS.
    10.1145/1273496.1273524
  84. Da Silva, A.F.; Costa, V.S.. "The design of the YAP compiler: An optimizing compiler for logic programming languages". Journal of Universal Computer Science 12 7 (2006): 764-787. http://www.scopus.com/inward/record.url?eid=2-s2.0-33747872679&partnerID=MN8TOARS.
  85. Da Silva, A.F.; Costa, V.S.. "Our experiences with optimizations in Sun's Java Just-In-Time compilers". Journal of Universal Computer Science 12 7 (2006): 788-810. http://www.scopus.com/inward/record.url?eid=2-s2.0-33747886541&partnerID=MN8TOARS.
  86. Paes, A.; Revoredo, K.; Zaverucha, G.; Costa, V.S.. "PFORTE: Revising probabilistic FOL theories". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4140 LNAI (2006): 441-450. http://www.scopus.com/inward/record.url?eid=2-s2.0-33751372758&partnerID=MN8TOARS.
    10.1007/11874850_48
  87. Da Silva, A.F.; Costa, V.S.. "The design and implementation of the YAP compiler: An optimizing compiler for logic programming languages". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4079 LNCS (2006): 461-462. http://www.scopus.com/inward/record.url?eid=2-s2.0-33749333633&partnerID=MN8TOARS.
    10.1007/11799573_49
  88. RICARDO ROCHA; FERNANDO SILVA; VÍTOR SANTOS COSTA. "On applying or-parallelism and tabling to logic programs". Theory and Practice of Logic Programming 5 1-2 (2005): 161-205. http://dx.doi.org/10.1017/s1471068404002030.
    10.1017/s1471068404002030
  89. Burnside, E.S.; Davis, J.; Costa, V.S.; Dutra, I.C.; Kahn Jr., C.E.; Fine, J.; Page, D.. "Knowledge discovery from structured mammography reports using inductive logic programming.". AMIA ... Annual Symposium proceedings / AMIA Symposium. AMIA Symposium (2005): 96-100. http://www.scopus.com/inward/record.url?eid=2-s2.0-39049194227&partnerID=MN8TOARS.
  90. Ong, I.M.; De Castro Dutra, I.; Page, D.; Costa, V.S.. "Mode directed path finding". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3720 LNAI (2005): 673-681. http://www.scopus.com/inward/record.url?eid=2-s2.0-33646404059&partnerID=MN8TOARS.
    10.1007/11564096_68
  91. Davis, J.; Burnside, E.; Dutra, I.; Page, D.; Ramakrishnan, R.; Costa, V.S.; Shavlik, J.. "View learning for statistical relational learning: With an application to mammography". IJCAI International Joint Conference on Artificial Intelligence (2005): 677-683. http://www.scopus.com/inward/record.url?eid=2-s2.0-84880739463&partnerID=MN8TOARS.
  92. Davis, J.; Burnside, E.; De Castro Dutra, I.; Page, D.; Santos Costa, V.. "An integrated approach to learning Bayesian networks of rules". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3720 LNAI (2005): 84-95. http://www.scopus.com/inward/record.url?eid=2-s2.0-33646424350&partnerID=MN8TOARS.
    10.1007/11564096_13
  93. Fonseca, N.A.; Silva, F.; Costa, V.S.; Camacho, R.. "A pipelined data-parallel algorithm for ILP". Proceedings - IEEE International Conference on Cluster Computing, ICCC (2005): http://www.scopus.com/inward/record.url?eid=2-s2.0-50149104858&partnerID=MN8TOARS.
    10.1109/CLUSTR.2005.347059
  94. Rocha, R.; Fonseca, N.; Costa, V.S.. "On applying tabling to inductive logic programming". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3720 LNAI (2005): 707-714. http://www.scopus.com/inward/record.url?eid=2-s2.0-33646427718&partnerID=MN8TOARS.
    10.1007/11564096_72
  95. Rocha, R.; Lopes, R.; Silva, F.; Costa, V.S.. "IMPACT: Innovative Models for Prolog with Advanced Control and Tabling". Lecture Notes in Computer Science 3668 (2005): 416-417. http://www.scopus.com/inward/record.url?eid=2-s2.0-27144435122&partnerID=MN8TOARS.
    10.1007/11562931_36
  96. Bravo, H.C.; Page, D.; Ramakrishnan, R.; Shavlik, J.; Costa, V.S.. "A framework for set-oriented computation in inductive logic programming and its application in generalizing inverse entailment". Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) 3625 (2005): 69-86. http://www.scopus.com/inward/record.url?eid=2-s2.0-27144498595&partnerID=MN8TOARS.
    10.1007/11536314_5
  97. Sanches, J.A.L.; Vargas, P.K.; De Dutra, I.C.; Costa, V.S.; Geyer, C.F.R.. "ReGS: User-level reliability in a grid environment". 2005 IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2005 2 (2005): 718-725. http://www.scopus.com/inward/record.url?eid=2-s2.0-33845344709&partnerID=MN8TOARS.
    10.1109/CCGRID.2005.1558634
  98. Rocha, R.; Silva, F.; Costa, V.S.. "Dynamic mixed-strategy evaluation of tabled logic programs". Lecture Notes in Computer Science 3668 (2005): 250-264. http://www.scopus.com/inward/record.url?eid=2-s2.0-27144451424&partnerID=MN8TOARS.
    10.1007/11562931_20
  99. Lopes, R.; Costa, V.S.. "Improving memory usage in the BEAM". Lecture Notes in Computer Science 3350 (2005): 143-157. http://www.scopus.com/inward/record.url?eid=2-s2.0-23944443344&partnerID=MN8TOARS.
    10.1007/978-3-540-30557-6_12
  100. Rocha, R.; Silva, F.; Costa, V.S.. "On applying or-parallelism and tabling to logic programs". Theory and Practice of Logic Programming 5 1-2 (2005): 161-205. http://www.scopus.com/inward/record.url?eid=2-s2.0-14544285474&partnerID=MN8TOARS.
    10.1017/S1471068404002030
  101. Paes, A.; Revoredo, K.; Zaverucha, G.; Costa, V.S.. "Probabilistic first-order theory revision from examples". Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) 3625 (2005): 295-311. http://www.scopus.com/inward/record.url?eid=2-s2.0-26944453186&partnerID=MN8TOARS.
    10.1007/11536314_18
  102. Faustino Da Silva, A.; Costa, V.S.. "An experimental evaluation of JAVA JIT technology". Journal of Universal Computer Science 11 7 (2005): 1291-1309. http://www.scopus.com/inward/record.url?eid=2-s2.0-24944500800&partnerID=MN8TOARS.
  103. Lopes, R; Costa, VS; Silva, F. "Pruning in the extended Andorra model". PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES (2004):
    10.1007/978-3-540-24836-1_9
  104. Rocha, R.; Silva, F.; Costa, V.S.. "Concurrent table accesses in parallel tabled logic programs". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3149 (2004): 662-670. http://www.scopus.com/inward/record.url?eid=2-s2.0-35048851740&partnerID=MN8TOARS.
    10.1007/978-3-540-27866-5_87
  105. Rocha, R.; Silva, F.; Costa, V.S.. "Speculative computations in or-parallel tabled logic programs". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3132 (2004): 254-268. http://www.scopus.com/inward/record.url?eid=2-s2.0-35048855026&partnerID=MN8TOARS.
    10.1007/978-3-540-27775-0_18
  106. Dutra, I.; Page, D.; Costa, V.S.; Shavlik, J.; Waddell, M.. "Toward automatic management of embarrassingly parallel applications". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2790 (2004): 509-516. http://www.scopus.com/inward/record.url?eid=2-s2.0-35048838145&partnerID=MN8TOARS.
    10.1007/978-3-540-45209-6_73
  107. Fonseca, N.; Costa, V.S.; Silva, F.; Camacho, R.. "On avoiding redundancy in inductive logic programming". Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) 3194 (2004): 132-146. http://www.scopus.com/inward/record.url?eid=2-s2.0-22944447732&partnerID=MN8TOARS.
    10.1007/978-3-540-30109-7_13
  108. Costa, V.S.; Srinivasan, A.; Camacho, R.; Blockeel, H.; Demoen, B.; Janssens, G.; Struyf, J.; Vandecasteele, H.; Van Laer, W.. "Query transformations for improving the efficiency of ILP systems". Journal of Machine Learning Research 4 4 (2004): 465-491. http://www.scopus.com/inward/record.url?eid=2-s2.0-2542494099&partnerID=MN8TOARS.
    10.1162/153244304773936027
  109. Costa, V.S.. "Performance Issues in Prolog Applications". LECTURE NOTES IN COMPUTER SCIENCE 2902 (2003): http://www.scopus.com/inward/record.url?eid=2-s2.0-0348216548&partnerID=MN8TOARS.
    10.1007/978-3-540-24580-3_8
  110. Lopes, R.; Costa, V.S.; Silva, F.. "On deterministic computations in the extended andorra model". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2916 (2003): 407-421. http://www.scopus.com/inward/record.url?eid=2-s2.0-0348155873&partnerID=MN8TOARS.
    10.1007/978-3-540-24599-5_28
  111. Lopes, R.; Castro, L.F.; Costa, V.S.. "From simulation to practice: Cache performance study of a prolog system". ACM SIGPLAN Notices 38 2 SUPPL. (2003): 56-64. http://www.scopus.com/inward/record.url?eid=2-s2.0-1442265474&partnerID=MN8TOARS.
    10.1145/773039.773045
  112. De Dutra, I.C.; Page, D.; Costa, V.S.; Shavlik, J.. "An empirical evaluation of bagging in inductive logic programming". Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) 2583 (2003): 48-65. http://www.scopus.com/inward/record.url?eid=2-s2.0-7044227546&partnerID=MN8TOARS.
    10.1007/3-540-36468-4_4
  113. Lopes, R.; Costa, V.S.; Silva, F.. "On the BEAM implementation". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2902 (2003): 131-135. http://www.scopus.com/inward/record.url?eid=2-s2.0-0346955753&partnerID=MN8TOARS.
    10.1007/978-3-540-24580-3_20
  114. Fonseca, N.; Costa, V.S.; Silva, F.; Camacho, R.. "Experimental evaluation of a caching technique for ILP". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2902 (2003): 151-155. http://www.scopus.com/inward/record.url?eid=2-s2.0-0347586870&partnerID=MN8TOARS.
    10.1007/978-3-540-24580-3_22
  115. Lobosco, M.; Costa, V.S.; De Amorim, C.L.. "Performance evaluation of Fast Ethernet, Giganet and Myrinet on a cluster". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2329 LNCS PART 1 (2002): 296-305. http://www.scopus.com/inward/record.url?eid=2-s2.0-25144524943&partnerID=MN8TOARS.
    10.1007/3-540-46043-8_29
  116. Dutra, I.; Santos Costa, V.; Gupta, G.; Pontelli, E.; Carro, M.; Kacsuk, P.. "Electronic Notes in Theoretical Computer Science: Preface". Electronic Notes in Theoretical Computer Science 30 3 (2000): 1-2. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944403051&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)80113-6
  117. Santos Costa, V.; Bianchini, R.; De Castro Dutra, I.. "Parallel Logic Programming Systems on Scalable Architectures". Journal of Parallel and Distributed Computing 60 7 (2000): 835-852. http://www.scopus.com/inward/record.url?eid=2-s2.0-0039083576&partnerID=MN8TOARS.
    10.1006/jpdc.2000.1629
  118. Eduardo Correia, M.; Santos Costa, V.. "IAP for dummies: The YAP design". Electronic Notes in Theoretical Computer Science 30 3 (2000): 106-121. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944371056&partnerID=MN8TOARS.
    10.1016/S1571-0661(05)80106-9
  119. De Castro Dutra, I.; Costa, V.S.; Bianchini, R.. "The impact of cache coherence protocols on parallel logic programming systems". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1861 LNAI (2000): 1285-1299. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867796901&partnerID=MN8TOARS.
    10.1007/3-540-44957-4_86
  120. Manuel Eduardo Correia; Vitor Santos Costa. "IAP for Dummies: The YAP Design". Electronic Notes in Theoretical Computer Science 30 3 (2000): 106-121. http://dx.doi.org/10.1016/s1571-0661(05)80106-9.
    10.1016/s1571-0661(05)80106-9
  121. Ines Dutra; Vítor Santos Costa; Gopal Gupta; Enrico Pontelli; Manuel Carro; Peter Kacsuk. "Preface". Electronic Notes in Theoretical Computer Science 30 3 (2000): 1-2. http://dx.doi.org/10.1016/s1571-0661(05)80113-6.
    10.1016/s1571-0661(05)80113-6
  122. Costa, VS; Rocha, R; Silva, F. "Novel models for or-parallel logic programs: A performance analysis". EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS (2000):
    10.1007/3-540-44520-X_102
  123. Silva, M.G.; Dutra, I.C.; Bianchini, R.; Costa, V.S.. "The influence of architectural parameters on the performance of parallel logic programming systems". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1551 LNCS (1999): 122-136. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867445128&partnerID=MN8TOARS.
    10.1007/3-540-49201-1_9
  124. Costa, Vitor Santos. "COWL: Copy-on-write for logic programs". Proceedings of the International Parallel Processing Symposium, IPPS (1999): 720-727. http://www.scopus.com/inward/record.url?eid=2-s2.0-0032638513&partnerID=MN8TOARS.
    10.1109/IPPS.1999.760555
  125. Rocha, R.; Silva, F.; Costa, V.S.. "Or-parallelism within tabling". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1551 LNCS (1999): 137-151. http://www.scopus.com/inward/record.url?eid=2-s2.0-84867456269&partnerID=MN8TOARS.
    10.1007/3-540-49201-1_10
  126. Castro, L.F.; Costa, V.S.; Geyer, C.F.R.; Silva, F.; Vargas, P.K.; Correia, M.E.. "DAOS - Scalable and-or parallelism". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1685 LNCS (1999): 899-908. http://www.scopus.com/inward/record.url?eid=2-s2.0-84878635477&partnerID=MN8TOARS.
    10.1007/3-540-48311-X_125
  127. Costa, VS. "Optimising bytecode emulation for Prolog". PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS (1999): https://www.authenticus.pt/P-001-65M.
    10.1007/10704567_16
  128. Shen, K; Costa, VS; King, A. "Distance: A New Metric for Controlling Granularity for Parallel Execution". Journal of Functional and Logic Programming (1999): https://www.authenticus.pt/P-008-KYN.
  129. Costa, V.S.; Bianchini, R.. "Optimising parallel logic programming systems for scalable machines". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1470 LNCS (1998): 831-841. http://www.scopus.com/inward/record.url?eid=2-s2.0-84882666974&partnerID=MN8TOARS.
    10.1007/BFb0057937
  130. Costa, Vitor Santos; Bianchini, Ricardo; de Castro Dutra, Ines. "Evaluating parallel logic programming systems on scalable multiprocessors". International Symposium on Parallel Symbolic Computation, Proceedings, PASCO (1997): 58-67. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030648715&partnerID=MN8TOARS.
    10.1145/266670.266687
  131. Vítor Santos Costa; David H. D. Warren; Rong Yang. "Andorra-I compilation". New Generation Computing 14 1 (1996): 3-30. http://dx.doi.org/10.1007/bf03037216.
    10.1007/bf03037216
  132. Costa, V.S.; Warren, D.H.D.; Yang, R.. "Andorra-I compilation". New Generation Computing 14 1 (1996): 3-30. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030361131&partnerID=MN8TOARS.
    10.1007/BF03037216
  133. Gupta, G.; Costa, V.S.. "Cuts and side-effects in and-or parallel Prolog". Journal of Logic Programming 27 1 (1996): 44-71. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030127333&partnerID=MN8TOARS.
    10.1016/0743-1066(95)00092-5
  134. Correia, M.E.; Silva, F.M.A.; Costa, V.S.. "Aurora vs. Muse: a portability study of two or-parallel Prolog systems". Computing Systems in Engineering 6 4-5 (1995): 345-349. http://www.scopus.com/inward/record.url?eid=2-s2.0-0029350435&partnerID=MN8TOARS.
    10.1016/0956-0521(95)00042-9
  135. Gopal Gupta; Vítor Santos Costa. "Optimal implementation of and-or parallel Prolog". Future Generation Computer Systems 10 1 (1994): 71-92. http://dx.doi.org/10.1016/0167-739x(94)90052-3.
    10.1016/0167-739x(94)90052-3
  136. Gupta, G.; Costa, V.S.. "Optimal implementation of and-or parallel Prolog". Future Generation Computer Systems 10 1 (1994): 71-92. http://www.scopus.com/inward/record.url?eid=2-s2.0-0028413021&partnerID=MN8TOARS.
    10.1016/0167-739X(94)90052-3
  137. Gopal Gupta; Manuel V. Hermenegildo; Vítor Santos Costa. "And-Or parallel Prolog: A recomputation based approach". New Generation Computing 11 3-4 (1993): 297-321. http://dx.doi.org/10.1007/bf03037180.
    10.1007/bf03037180
  138. Gupta, G.; Hermenegildo, M.V.; Costa, V.S.. "And-Or parallel Prolog: A recomputation based approach". New Generation Computing 11 3-4 (1993): 297-321. http://www.scopus.com/inward/record.url?eid=2-s2.0-0040267643&partnerID=MN8TOARS.
    10.1007/BF03037180
  139. Vítor Santos Costa; David H. D. Warren; Rong Yang. "Andorra I". SIGPLAN Not. 26 7 (1991): 83-93. http://dx.doi.org/10.1145/109626.109635.
    10.1145/109626.109635
  140. Costa, Vitor Santos; Warren, David H.D.; Yang, Rong. "Andorra-I preprocessor: Supporting full Prolog on the basic Andorra model". (1991): 443-456. http://www.scopus.com/inward/record.url?eid=2-s2.0-0026284865&partnerID=MN8TOARS.
  141. Gupta, Gopal; Santos Costa, Vitor; Yang, Rong; Hermenegildo, Manuel V.. "IDIOM: Integrating dependent and-, independent and-, and or-parallelism". (1991): 152-166. http://www.scopus.com/inward/record.url?eid=2-s2.0-0026303147&partnerID=MN8TOARS.
  142. Costa, Vitor Santos; Warren, David H.D.; Yang, Rong. "Andorra-I engine: A parallel implementation of the basic Andorra model". (1991): 825-839. http://www.scopus.com/inward/record.url?eid=2-s2.0-0026263328&partnerID=MN8TOARS.
Capítulo de livro
  1. Camacho, R; Barbosa, JG; Sampaio, AM; Ladeiras, J; Fonseca, NA; Costa, VS. "Parallel Algorithms for Multirelational Data Mining: Application to Life Science Problems". 2016.
    10.1007/978-3-319-44881-7_16
  2. Davis, J; Costa, VS; Peissig, PL; Caldwell, M; Page, D. "Predicting Adverse Drug Events from Electronic Medical Records". 2015.
    10.1007/978-3-319-28007-3_16
  3. De Raedt, L; Kimmig, A; Gutmann, B; Kersting, K; Costa, VS; Toivonen, H. "Probabilistic inductive querying using problog". 2010.
    10.1007/978-1-4419-7738-0_10
Edição de livro
  1. Appice, A; Rodrigues, PP; Costa, VS; Soares, C; Gama, J; Jorge, A. Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part I. 2015.
    10.1007/978-3-319-23528-8
  2. Appice, A; Rodrigues, PP; Costa, VS; Gama, J; Jorge, A; Soares, C. Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part II. 2015.
    10.1007/978-3-319-23525-7
  3. Zaverucha, G; Costa, VS; Paes, AM. Late Breaking Papers of the 23rd International Conference on Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th - to - 30th, 2013. 2014.
  4. Acar, UA; Costa, VS. Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012. 2012.
  5. Dovier, A; Costa, VS. Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary. 2012.
  6. Pontelli, E; Costa, VS. Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings. 2000.
Livro
  1. Gerson Zaverucha; Vítor Santos Costa; Aline Paes. Inductive Logic Programming. Springer Berlin Heidelberg. 2014.
    10.1007/978-3-662-44923-3
  2. Fernando Silva; Inês Dutra; Vítor Santos Costa. Euro-Par 2014 Parallel Processing. Springer International Publishing. 2014.
    10.1007/978-3-319-09873-9
  3. João Gama; Vítor Santos Costa; Alípio Mário Jorge; Pavel B. Brazdil. Discovery Science. Springer Berlin Heidelberg. 2009.
    10.1007/978-3-642-04747-3
  4. Enrico Pontelli; Vítor Santos Costa. Practical Aspects of Declarative Languages. Springer Berlin Heidelberg. 2000.
    10.1007/3-540-46584-7
Tese / Dissertação
  1. Costa, Vítor. "Compile-time analysis for the parallel execution of logic programs in Andorra-1". 1993.

Outros

Outra produção
  1. Data Type Inference for Logic Programming. 2021. Barbosa, J; Florido, M; Costa, VS.
  2. NeuralLog: a Neural Logic Language. 2021. Guimarães, V; Costa, VS.
  3. Predicting Wildfires. 2016. Mariana Oliveira; Luís Torgo; Vítor Santos Costa. http://dx.doi.org/10.1007/978-3-319-46307-0_12.
    10.1007/978-3-319-46307-0_12
  4. Predicting Drugs Adverse Side-Effects Using a Recommender-System. 2015. Diogo Pinto; Pedro Costa; Rui Camacho; Vítor Santos Costa. http://dx.doi.org/10.1007/978-3-319-24282-8_17.
    10.1007/978-3-319-24282-8_17
  5. Preface. 2014. Silva, F; Dutra, I; Costa, VS.
  6. Online Proceedings of the 11th. 2011. Abreu, Salvador; Costa, VitorSantos. https://www.authenticus.pt/P-00F-Y91.
  7. A study of structural properties on profiles HMMs. 2007. Bernardes, JulianaS.; Dávila, AlbertoM.R.; Costa, VitorSantos; Zaverucha, Gerson. https://www.authenticus.pt/P-00F-Y9P.
  8. Selected papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages J.UCS special issue. 2007. Bigonha, RS; Musicante, MA; Pardo, A; Garcia, A; Martini, A; Moreira, AF; De Melo, ACV; et al. https://www.authenticus.pt/P-007-JAB.
  9. Prolog Performance on Larger Datasets. 2006. Vítor Santos Costa. http://dx.doi.org/10.1007/978-3-540-69611-7_12.
    10.1007/978-3-540-69611-7_12
Atividades

Orientação

Título / Tema
Papel desempenhado 		Curso (Tipo)
Instituição / Organização
2019 - 2019 Overcoming the current limitations of Reinforcement Learning towards Artificial General Intelligence
Coorientador
 Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2019 - 2019 NeuralLog: A Neural Logic System for Parameter and Structure Learning
Orientador
 Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2016 - 2016 Closed Types for Logic Programming
Coorientador
 Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2015 - 2015 Apoio ao Controlo Diabético Baseado em Registos e Protocolos Médicos
Orientador
 Engenharia de Redes e Sistemas Informáticos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
2014 - 2014 Probabilistic Logic-based Models For Gene Regulatory Networks
Orientador
 Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2001 - 2001 An Implementation of the Extended Andorra
Coorientador
 Ciências de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
2001 - 2001 On Applying Or-parallelism and Tabling to Logic Programs
Coorientador
 Ciências de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal