Michael Siebers, Ute Schmid. Was the Year 2000 a Leap Year? Step-Wise Narrowing Theories with Metagol. In Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, editors, Inductive Logic Programming - 28th International Conference, ILP 2018, Ferrara, Italy, September 2-4, 2018, Proceedings. Volume 11105 of Lecture Notes in Computer Science, pages 141-156, Springer, 2018. [doi]
Abstract is missing.