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]
@inproceedings{NovotnyDS25,
title = {Implementation of Transparent Intensional Logic Framework in Haskell},
author = {Samuel Novotný and Marie Duzí and William Steingartner},
year = {2025},
doi = {10.3233/FAIA251739},
url = {https://doi.org/10.3233/FAIA251739},
researchr = {https://researchr.org/publication/NovotnyDS25},
cites = {0},
citedby = {0},
pages = {388-398},
booktitle = {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},
editor = {Marek Mensík and Hannu Jaakkola and Marina Tropmann-Frick and Yasushi Kiyoki and Virach Sornlertlamvanich and Naofumi Yoshida},
volume = {418},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-64368-646-2},
}