Follow
Martin Verrev
Martin Verrev
Tallinn University of Technnology
Verified email at taltech.ee
Title
Cited by
Cited by
Year
Knowledge Integration for Commonsense Reasoning with Default Logic.
P Järv, T Tammet, M Verrev, D Draheim
KDIR, 148-155, 2022
32022
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
12023
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
The system can't perform the operation now. Try again later.
Articles 1–7