Samuel Novotný, Marie Duzí, William Steingartner. Implementation of Transparent Intensional Logic Framework in Haskell. In Marek Mensík, Hannu Jaakkola, Marina Tropmann-Frick, Yasushi Kiyoki, Virach Sornlertlamvanich, Naofumi Yoshida, editors, Information Modelling and Knowledge Bases XXXVII: Proceedings of the 35th International Conference on Information Modelling and Knowledge Bases, EJC 2025, Ostrava, Czech Republic, June 9-13, 2025. Volume 418 of Frontiers in Artificial Intelligence and Applications, pages 388-398, IOS Press, 2025. [doi]
Abstract is missing.