Miki Hermann, Gernot Salzer. Efficient Learning of Horn Formulas over Finite Totally Ordered Domains. In Thanh Tho Quan, Chattrakul Sombattheera, Hoang-Anh Pham, Ngoc Thinh Tran, editors, Multi-disciplinary Trends in Artificial Intelligence - 18th International Conference, MIWAI 2025, Ho Chi Minh City, Vietnam, December 3-5, 2025, Proceedings, Part II. Volume 16354 of Lecture Notes in Computer Science, pages 80-92, Springer, 2025. [doi]
Abstract is missing.