Towards a Wide-Coverage Tableau Method for Natural Logic. - Lasha Abzianidze (JSAI-isAI Workshops, 2014)

A Tableau Prover for Natural Logic and Language. - Lasha Abzianidze (EMNLP, 2015)

Natural Solution to FraCaS Entailment Problems. - Lasha Abzianidze (*SEM@ACL, 2016)

The Parallel Meaning Bank: Towards a Multilingual Corpus of Translations Annotated with Compositional Meaning Representations. - Lasha Abzianidze; Johannes Bjerva; Kilian Evang; Hessel Haagsma; Rik van Noord; Pierre Ludmann; Duc-Duy Nguyen; Johan Bos (EACL (2), 2017)

LangPro: Natural Language Theorem Prover. - Lasha Abzianidze (EMNLP (System Demonstrations), 2017)

Towards Universal Semantic Tagging. - Lasha Abzianidze; Johan Bos (IWCS(2), 2017)

Sharing Is Caring: The Future of Shared Tasks. - Malvina Nissim; Lasha Abzianidze; Kilian Evang; Rob van der Goot; Hessel Haagsma; Barbara Plank; Martijn Wieling 001 (Comput. Linguistics, 2017)

What can we learn from Semantic Tagging? - Mostafa Abdou; Artur Kulmizev; Vinit Ravishankar; Lasha Abzianidze; Johan Bos (EMNLP, 2018)

Evaluating Scoped Meaning Representations. - Rik van Noord; Lasha Abzianidze; Hessel Haagsma; Johan Bos (LREC, 2018)

Exploring Neural Methods for Parsing Discourse Representation Structures. - Rik van Noord; Lasha Abzianidze; Antonio Toral; Johan Bos (Trans. Assoc. Comput. Linguistics, 2018)

CCGweb: a New Annotation Tool and a First Quadrilingual CCG Treebank. - Kilian Evang; Lasha Abzianidze; Johan Bos (LAW@ACL, 2019)

Can Neural Networks Understand Monotonicity Reasoning? - Hitomi Yanaka; Koji Mineshima; Daisuke Bekki; Kentaro Inui; Satoshi Sekine; Lasha Abzianidze; Johan Bos (BlackboxNLP@ACL, 2019)

HELP: A Dataset for Identifying Shortcomings of Neural Models in Monotonicity Reasoning. - Hitomi Yanaka; Koji Mineshima; Daisuke Bekki; Kentaro Inui; Satoshi Sekine; Lasha Abzianidze; Johan Bos (*SEM@NAACL-HLT, 2019)

DRS at MRP 2020: Dressing up Discourse Representation Structures as Graphs. - Lasha Abzianidze; Johan Bos; Stephan Oepen (CoNLL Shared Task, 2020)

MRP 2020: The Second Shared Task on Cross-Framework and Cross-Lingual Meaning Representation Parsing. - Stephan Oepen; Omri Abend; Lasha Abzianidze; Johan Bos; Jan Hajic; Daniel Hershcovich; Bin Li 052; Tim O'Gorman; Nianwen Xue; Daniel Zeman (CoNLL Shared Task, 2020)

Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference. - Lasha Abzianidze (*SEM@COLING, 2020)

The First Shared Task on Discourse Representation Structure Parsing. - Lasha Abzianidze; Rik van Noord; Hessel Haagsma; Johan Bos (CoRR, 2020)

Thirty Musts for Meaning Banking. - Johan Bos; Lasha Abzianidze (CoRR, 2020)

The Parallel Meaning Bank: A Framework for Semantically Annotating Multiple Languages. - Lasha Abzianidze; Rik van Noord; Chunliu Wang; Johan Bos (CoRR, 2020)

A Logic-Based Framework for Natural Language Inference in Dutch. - Lasha Abzianidze; Konstantinos Kogkalidis (CoRR, 2021)

SpaceNLI: Evaluating the Consistency of Predicting Inferences in Space. - Lasha Abzianidze; Joost Zwarts; Yoad Winter (CoRR, 2023)

Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inference. - Lasha Abzianidze (CoRR, 2023)

Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA. - Aikaterini-Lida Kalouli; Lasha Abzianidze; Stergios Chatzikyriakidis (J. Log. Lang. Inf., 2024)