Knowledge Integration for Commonsense Reasoning with Default Logic. P Järv, T Tammet, M Verrev, D Draheim KDIR, 148-155, 2022 | 3 | 2022 |
An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper) T Tammet, P Järv, M Verrev, D Draheim International Conference on Automated Deduction, 509-521, 2023 | 1 | 2023 |
Large-Scale Commonsense Knowledge for Default Logic Reasoning P Järv, T Tammet, M Verrev, D Draheim SN Computer Science 4 (5), 550, 2023 | | 2023 |
Evaluation of Semantic Parsing Frameworks for Automated Knowledge Base Construction M Verrev International Conference on Intelligent Systems Design and Applications, 554-563, 2022 | | 2022 |
Combining Semantic Parsing Frameworks for Automated Knowledge Base Construction. M Verrev AI³@ AI* IA, 2022 | | 2022 |
First Order Logic and Commonsense Reasoning: A Path Less Travelled. T Tammet, D Draheim, P Järv, M Verrev ICLP Workshops, 2022 | | 2022 |
An Experimental Pipeline for Automated Reasoning in Natural Language T Tammet, P Järv, M Verrev, D Draheim | | |