Experiments with LLMs for converting language to logicTammet, Tanel; Järv, Priit; Verrev, Martin; Draheim, DirkNeural-Symbolic Learning and Reasoning : 18th International Conference, NeSy 2024, Barcelona, Spain, September 9–12, 2024, Proceedings, Part II2024 / p. 305 - 314 https://doi.org/10.1007/978-3-031-71170-1_24 Conference Proceedings at Scopus Article at Scopus Article at WOS

Galois sub-hierarchies used for use case modelingTorim, AntsCLA 2013 : proceedings of the Tenth International Conference on Concept Lattices and Their Applications : La Rochelle, France, October 15-18, 20132013 / p. 21-32 : ill https://ceur-ws.org/Vol-1062/paper2.pdf Conference Proceedings at Scopus Article at Scopus