ML Anthology

Duboc, Ana Luísa

1 publications

MLJ 2009 Using the Bottom Clause and Mode Declarations in FOL Theory Revision from Examples Ana Luísa Duboc, Aline Paes, Gerson Zaverucha