Ana Luísa Duboc

Publication Activity (10 Years)

Years Active: 2008-2017
Publications (10 Years): 1

Top Topics

Revision Operators

Top Venues

J. Log. Comput.

Publications

Ana Luísa Duboc, Aline Paes, Gerson Zaverucha
On the formal characterization of the FORTE_MBC theory revision operators. J. Log. Comput. 27 (8) (2017)
Ana Luísa Duboc, Aline Paes, Gerson Zaverucha
Using the bottom clause and mode declarations in FOL theory revision from examples. Mach. Learn. 76 (1) (2009)
Ana Luísa Duboc, Aline Paes, Gerson Zaverucha
Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples. ILP (2008)