Gianluca Cima, Marco Console, Laura Papi. Formal Reasoning with Learned Predicates (Extended Abstract). In Alisa Kovtunova, Baris Sertkaya, editors, Proceedings of the 39th International Workshop on Description Logics (DL 2026) co-located with the Federated Logic Conference (FLoC 2026), Lisbon, Portugal, July 17-19, 2026. Volume 4230 of CEUR Workshop Proceedings, CEUR-WS.org, 2026. [doi]
Abstract is missing.