Martin Verrev

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 6

Top Topics

Commonsense Reasoning

Top Venues

Publications

Priit Järv, Tanel Tammet, Martin Verrev, Dirk Draheim
Large-Scale Commonsense Knowledge for Default Logic Reasoning. SN Comput. Sci. 4 (5) (2023)
Tanel Tammet, Priit Järv, Martin Verrev, Dirk Draheim
An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper). CADE (2023)
Martin Verrev
Evaluation of Semantic Parsing Frameworks for Automated Knowledge Base Construction. ISDA (1) (2022)
Priit Järv, Tanel Tammet, Martin Verrev, Dirk Draheim
Knowledge Integration for Commonsense Reasoning with Default Logic. KDIR (2022)
Tanel Tammet, Dirk Draheim, Priit Järv, Martin Verrev
First Order Logic and Commonsense Reasoning: A Path Less Travelled. ICLP Workshops (2022)
Martin Verrev
Combining Semantic Parsing Frameworks for Automated Knowledge Base Construction. AI³@AI*IA (2022)