| 2008 |
| 5 | EE | Ana Luísa Duboc,
Aline Paes,
Gerson Zaverucha:
Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples.
ILP 2008: 91-106 |
| 2007 |
| 4 | EE | Aline Paes,
Gerson Zaverucha,
Vítor Santos Costa:
Revising First-Order Logic Theories from Examples Through Stochastic Local Search.
ILP 2007: 200-210 |
| 2006 |
| 3 | EE | Aline Paes,
Kate Revoredo,
Gerson Zaverucha,
Vítor Santos Costa:
PFORTE: Revising Probabilistic FOL Theories.
IBERAMIA-SBIA 2006: 441-450 |
| 2 | EE | Aline Paes,
Filip Zelezný,
Gerson Zaverucha,
C. David Page Jr.,
Ashwin Srinivasan:
ILP Through Propositionalization and Stochastic k-Term DNF Learning.
ILP 2006: 379-393 |
| 2005 |
| 1 | EE | Aline Paes,
Kate Revoredo,
Gerson Zaverucha,
Vítor Santos Costa:
Probabilistic First-Order Theory Revision from Examples.
ILP 2005: 295-311 |