Moritz Bayerkuhnlein, Diedrich Wolter. Model-Based Diagnosis with ASP for Non-groundable Domains. In Arne Meier, Magdalena Ortiz 0001, editors, Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings. Volume 14589 of Lecture Notes in Computer Science, pages 363-380, Springer, 2024. [doi]
Abstract is missing.