An Account of Natural Language Coordination in Type Theory with Coercive Subtyping. - Stergios Chatzikyriakidis; Zhaohui Luo (CSLP, 2012)

Adjectives in a Modern Type-Theoretical Setting. - Stergios Chatzikyriakidis; Zhaohui Luo (FG, 2013)

Using Signatures in Type Theory to Represent Situations. - Stergios Chatzikyriakidis; Zhaohui Luo (JSAI-isAI Workshops, 2014)

Adverbs in a Modern Type Theory. - Stergios Chatzikyriakidis (LACL, 2014)

Natural Language Inference in Coq. - Stergios Chatzikyriakidis; Zhaohui Luo (J. Log. Lang. Inf., 2014)

Natural Language Reasoning using Coq: Interaction and Automation. - Stergios Chatzikyriakidis (TALN, 2015)

Proof Assistants for Natural Language Semantics. - Stergios Chatzikyriakidis; Zhaohui Luo (LACL, 2016)

Cognitive science, language as a tool for interaction, and a new look at language evolution. - Ruth Kempson; Stergios Chatzikyriakidis; Christine Howes (FADLI@ESSLLI, 2017)

A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq. - Jean-Philippe Bernardy; Stergios Chatzikyriakidis (IWCS(1), 2017)

Introduction to "Hilbert's epsilon and tau in Logic, Informatics and Linguistics". - Stergios Chatzikyriakidis; Fabio Pasquali; Christian Retoré (FLAP, 2017)

From Logical and Linguistic Generics to Hilbert's tau and epsilon Quantifiers. - Stergios Chatzikyriakidis; Fabio Pasquali; Christian Retoré (FLAP, 2017)

Type Theories and Lexical Networks: using Serious Games as the basis for Multi-Sorted Typed Systems. - Stergios Chatzikyriakidis; Mathieu Lafourcade; Lionel Ramadier; Manel Zarrouk (J. Lang. Model., 2017)

Adjectival and Adverbial Modification: The View from Modern Type Theories. - Stergios Chatzikyriakidis; Zhaohui Luo (J. Log. Lang. Inf., 2017)

A Lexical Distance Study of Arabic Dialects. - Kathrein Abu Kwaik; Motaz Saad; Stergios Chatzikyriakidis; Simon Dobnik (ACLING, 2018)

Shami: A Corpus of Levantine Arabic Dialects. - Chatrine Qwaider; Motaz Saad; Stergios Chatzikyriakidis; Simon Dobnik (LREC, 2018)

Neural Network Models for Natural Language Inference Fail to Capture the Semantics of Inference. - Aarne Talman; Stergios Chatzikyriakidis (CoRR, 2018)

A corpus of precise natural textual entailment problems. - Jean-Philippe Bernardy; Stergios Chatzikyriakidis (CoRR, 2018)

Testing the Generalization Power of Neural Network Models across NLI Benchmarks. - Aarne Talman; Stergios Chatzikyriakidis (BlackboxNLP@ACL, 2019)

What Kind of Natural Language Inference are NLP Systems Learning: Is this Enough? - Jean-Philippe Bernardy; Stergios Chatzikyriakidis (ICAART (2), 2019)

LSTM-CNN Deep Learning Model for Sentiment Analysis of Dialectal Arabic. - Kathrein Abu Kwaik; Motaz Saad; Stergios Chatzikyriakidis; Simon Dobnik (ICALP, 2019)

Predicates as Boxes in Bayesian Semantics for Natural Language. - Jean-Philippe Bernardy; Rasmus Blanck; Stergios Chatzikyriakidis; Shalom Lappin; Aleksandre Maskharashvili (NODALIDA, 2019)

A Wide-Coverage Symbolic Natural Language Inference System. - Stergios Chatzikyriakidis; Jean-Philippe Bernardy (NODALIDA, 2019)

Bayesian Inference Semantics: A Modelling System and A Test Suite. - Jean-Philippe Bernardy; Rasmus Blanck; Stergios Chatzikyriakidis; Shalom Lappin; Aleksandre Maskharashvili (*SEM@NAACL-HLT, 2019)

Gradability in MTT-Semantics. - Stergios Chatzikyriakidis; Zhaohui Luo (TbiLLC, 2019)

Improving the Precision of Natural Textual Entailment Problem Datasets. - Jean-Philippe Bernardy; Stergios Chatzikyriakidis (LREC, 2020)

FraCaS: Temporal Analysis. - Jean-Philippe Bernardy; Stergios Chatzikyriakidis (CoRR, 2020)

NLI Data Sanity Check: Assessing the Effect of Data Corruption on Model Performance. - Aarne Talman; Marianna Apidianaki; Stergios Chatzikyriakidis; Jörg Tiedemann (NoDaLiDa, 2021)

A Computational Treatment of Anaphora and Its Algorithmic Implementation. - Jean-Philippe Bernardy; Stergios Chatzikyriakidis; Aleksandre Maskharashvili (J. Log. Lang. Inf., 2021)

Underspecification, Parsing Mismatches and Routinisation: The Historical Development of the Clitic Systems of Greek Dialects. - Stergios Chatzikyriakidis (J. Log. Lang. Inf., 2021)

How Does Data Corruption Affect Natural Language Understanding Models? A Study on GLUE datasets. - Aarne Talman; Marianna Apidianaki; Stergios Chatzikyriakidis; Jörg Tiedemann (*SEM@NAACL-HLT, 2022)

GRDD: A Dataset for Greek Dialectal NLP. - Stergios Chatzikyriakidis; Chatrine Qwaider; Ilias Kolokousis; Christina Koula; Dimitris Papadakis; Efthymia Sakellariou (CoRR, 2023)

OYXOY: A Modern NLP Test Suite for Modern Greek. - Konstantinos Kogkalidis; Stergios Chatzikyriakidis; Eirini Chrysovalantou Giannikouri; Vassiliki Katsouli; Christina Klironomou; Christina Koula; Dimitris Papadakis; Thelka Pasparaki; Erofili Psaltaki; Efthymia Sakellariou; Hara Soupiona (CoRR, 2023)

Propositional Forms of Judgemental Interpretations. - Tao Xue; Zhaohui Luo; Stergios Chatzikyriakidis (J. Log. Lang. Inf., 2023)

OYXOY: A Modern NLP Test Suite for Modern Greek. - Konstantinos Kogkalidis; Stergios Chatzikyriakidis; Eirini Chrysovalantou Giannikouri; Vassiliki Katsouli; Christina Klironomou; Christina Koula; Dimitris Papadakis; Thelka Pasparaki; Erofili Psaltaki; Efthymia Sakellariou; Charikleia Soupiona (EACL (Findings), 2024)

On Tables with Numbers, with Numbers. - Konstantinos Kogkalidis; Stergios Chatzikyriakidis (CoRR, 2024)

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)

Reasoning with RAGged events: RAG-Enhanced Event Knowledge Base Construction and reasoning with proof-assistants. - Stergios Chatzikyriakidis (CoRR, 2025)