Combining semantic parsing frameworks for automated knowledge base constructionVerrev, MartinAI^3 2022 : 6th Workshop on Advances in Argumentation in Artificial Intelligence2022 https://ceur-ws.org/Vol-3354/paper1.pdf Conference Proceedings at Scopus Article at Scopus

Combining Syntactic and Semantic Information in Knowledge Extraction PipelineVerrev, Martin; Tammet, Tanel; Järv, PriitAdvancements in Machine Learning and Natural Language Processing: Innovations and Applications : 3rd International Conference on Language Processing and Knowledge Management (LPKM’2024) : conference proceedings2025 / p. 3–12 https://doi.org/10.1007/978-3-031-85067-7_1

Evaluation of semantic parsing frameworks for automated knowledge base constructionVerrev, MartinIntelligent systems design and applications 22nd International Conference on Intelligent Systems Design and Applications (ISDA 2022) held December 12-14, 2022 - Volume 12023 / p. 554-563 https://doi.org/10.1007/978-3-031-27440-4_53 https://link.springer.com/book/10.1007/978-3-031-27440-4 Conference Proceedings at Scopus Article at Scopus

An experimental pipeline for automated reasoning in natural language (short paper)Tammet, Tanel; Järv, Priit; Verrev, Martin; Draheim, DirkAutomated Deduction – CADE 29, 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings2023 / p. 509-521 https://doi.org/10.1007/978-3-031-38499-8_29 Conference proceedings at Scopus Article at Scopus Article at WOS

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

First order logic and commonsense reasoning : a path less travelledTammet, Tanel; Draheim, Dirk; Järv, Priit; Verrev, MartinICLP Workshops 2022 : Proceedings of the International Conference on Logic Programming 2022 Workshops, co-located with the 38th International Conference on Logic Programming, ICLP 20222022 / art. 182197 https://ceur-ws.org/Vol-3193/short5GDE.pdf Conference proceedings at Scopus Article at Scopus

Knowledge integration for commonsense reasoning with default logicJärv, Priit; Tammet, Tanel; Verrev, Martin; Draheim, DirkProceedings of the 14th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management - KEOD 2022, October 24-26, 2022, in Valletta, Malta ; Vol. 12023 / p. 148-155 https://doi.org/10.5220/0000165700003335

Large-scale commonsense knowledge for default logic reasoningJärv, Priit; Tammet, Tanel; Verrev, Martin; Draheim, DirkSN Computer Science2023 / art. 550 https://doi.org/10.1007/s42979-023-01963-2 Journal metrics at Scopus Article at Scopus