Aline Marins Paes
Universidade Federal do Rio de Janeiro
Programa de Engenharia de Sistemas
Centro de Tecnologia, Bloco H, sala 304-13, Caixa Postal 68511
Ilha do Fundao, 21945-970 - Rio de Janeiro, RJ - Brasil

Phone: +55 21 2562-8679
ampaes at cos dot ufrj dot br


I hold a D.Sc. (Doctor in Science) title from the Department of Systems Engineering and Computer Science (PESC), filiated to the Alberto Luiz Coimbra Graduate School and Research in Engineering (COPPE) at the Federal University of Rio de Janeiro (UFRJ). The supervisors of my D.Sc. thesis were Professor Gerson Zaverucha and Professor Vitor Santos Costa. I received a M.Sc. in Systems Engineering and Computer Science (2005) from COPPE/UFRJ and a B.Sc. degree in Computer Science (2002) from University of the State of Rio de Janeiro (UERJ). Big Ben

From July, 2008 to July, 2009 I visited the Computational Bioinformatics Laboratory of the Department of Computing at Imperial College London, under the supervision of Professor Stephen Muggleton.

Research Interests

My main research area is (Probabilistic) Logical and Relational Learning, which mainly combines ideas of Machine Learning and Logical Knowledge Representation. Probabilistic Logic Learning (aka Probabilistic ILP and Statistical Relational Learning) is an exciting, emerging research area in the intersection of Relational Learning and Uncertainty Reasoning. My thesis was about the design of feasible and effective theory revision techniques in Relational Probabilistic Logic Learning and ILP.

Research Topics



    Feasible Revision of Bayesian Logic Programs

  • PFORTE, developed together with Kate Revoredo.

    Revision of Probabilistic Logic Models from Examples, inspired on FORTE.


    Efficient Revision of First-order Logic Programs from Examples using Stochastic Local Search Algorithms and the Bottom Clause.

  • DAHVI (Discriminative Approach for Hidden Variable Introduction), developed together with Kate Revoredo

    Introduction of hidden variables in Bayesian Networks from a theory revision perspective.

  • FORTE_MBC , developed together with Ana Luisa Duboc, Eric Couto, Rafael Pereira and Guilherme Niedu

    Revision of First-order Logic Programs from Examples, using Modes Declarations and the Bottom Clause.

Academic Service

Service in Conferences:

  • Local Chair of ILP 2013.
  • Program Committee member of ILP 2012.
  • Reviewer for ILP 2011, 2010, 2009, 2008, 2007, 2006.
  • Reviewer for Discovery Science 2009.
  • Reviewer for ICML 2010, 2008, 2007.
  • Reviewer for ECML 2011, 2010, 2009, 2008, 2007, 2005.
  • Reviewer for KDD 2009, 2007.
  • Reviewer for ICDM 2010, 2007, 2006.
  • Reviewer for ENIA 2009, 2007, 2005.

  • Participation in IJCAI 2009.
  • Participation in ILP 2009, 2008, 2007, 2006.
  • Participation in ICML 2007.
  • Participation in SBIA 2006.
  • Participation in ENIA/SBC 2007, 2005.
Current Students:

  • Roosevelt Sardinha (UFRJ,2012), M.Sc. in Systems Engineering and Computer Science.

Alumni (co-advisor, together with Gerson Zaverucha):

  • Eric Couto Luz e Silva (UFRJ, 2008), Undergraduate Final Research Project.
  • Ana Luisa Duboc (UFRJ, 2008), Msc in Systems Engineering and Computer Science.
  • Rafael Jose Goncalves Pereira (UFRJ, 2008), Undergraduate Research Project.
  • Guilherme Silva Niedu (UFRJ, 2008), Undergraduate Research Project.
  • Thiago Braga (UFRJ, 2008), Undergraduate Research Project.