Ana Luísa Duboc, Aline Paes, Gerson Zaverucha. Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples. In Filip Zelezný, Nada Lavrac, editors, Inductive Logic Programming, 18th International Conference, ILP 2008, Prague, Czech Republic, September 10-12, 2008, Proceedings. Volume 5194 of Lecture Notes in Computer Science, pages 91-106, Springer, 2008. [doi]
Abstract is missing.