{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T10:41:09Z","timestamp":1770979269492,"version":"3.50.1"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643686462","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T00:00:00Z","timestamp":1770854400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,2,12]]},"abstract":"<jats:p>The goal of this paper is to implement the Transparent Intensional Logic framework in the Haskell programming language, based on the procedural, i.e., constructive nature of this logical system. The main benefits of this implementation include type checking of constructions for free and the possibility of using predefined functions of Haskell, which allows focusing solely on the essence of this work, namely, the transformation of various constructions of Transparent Intensional Logic into Haskell terms.<\/jats:p>","DOI":"10.3233\/faia251739","type":"book-chapter","created":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T09:53:52Z","timestamp":1770976432000},"source":"Crossref","is-referenced-by-count":0,"title":["Implementation of Transparent Intensional Logic Framework in Haskell"],"prefix":"10.3233","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-1675-2965","authenticated-orcid":false,"given":"Samuel","family":"Novotn\u00fd","sequence":"first","affiliation":[{"name":"Technical University of Ko\u0161ice, Department of Computers and Informatics FEI, Letn\u00e1 9, 042 00 Ko\u0161ice, Slovak Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5393-6916","authenticated-orcid":false,"given":"Marie","family":"Du\u017e\u00ed","sequence":"additional","affiliation":[{"name":"VSB-Technical University of Ostrava, Department of Computer Science FEI, 17. listopadu 15, 708 33 Ostrava, Czech Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2852-9403","authenticated-orcid":false,"given":"William","family":"Steingatner","sequence":"additional","affiliation":[{"name":"Technical University of Ko\u0161ice, Department of Computers and Informatics FEI, Letn\u00e1 9, 042 00 Ko\u0161ice, Slovak Republic"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Information Modelling and Knowledge Bases XXXVII"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA251739","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T09:53:52Z","timestamp":1770976432000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA251739"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,12]]},"ISBN":["9781643686462"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia251739","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,2,12]]}}}