Using the bottom clause and mode declarations in FOL theory revision from examples. - Ana Luísa Duboc; Aline Paes; Gerson Zaverucha (Mach. Learn., 2009)

On the formal characterization of the FORTE_MBC theory revision operators. - Ana Luísa Duboc; Aline Paes; Gerson Zaverucha (J. Log. Comput., 2017)