Stergios Chatzikyriakidis

According to our database1, Stergios Chatzikyriakidis authored at least 36 papers between 2012 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Special Issue of Natural Logic Meets Machine Learning (NALOMA): Selected Papers from the First Three Workshops of NALOMA.
J. Log. Lang. Inf., March, 2024

On Tables with Numbers, with Numbers.
CoRR, 2024

OYXOY: A Modern NLP Test Suite for Modern Greek.
Proceedings of the Findings of the Association for Computational Linguistics: EACL 2024, 2024

2023
Propositional Forms of Judgemental Interpretations.
J. Log. Lang. Inf., October, 2023

OYXOY: A Modern NLP Test Suite for Modern Greek.
CoRR, 2023

GRDD: A Dataset for Greek Dialectal NLP.
CoRR, 2023

2022
How Does Data Corruption Affect Natural Language Understanding Models? A Study on GLUE datasets.
Proceedings of the 11th Joint Conference on Lexical and Computational Semantics, 2022

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

A Computational Treatment of Anaphora and Its Algorithmic Implementation.
J. Log. Lang. Inf., 2021

NLI Data Sanity Check: Assessing the Effect of Data Corruption on Model Performance.
Proceedings of the 23rd Nordic Conference on Computational Linguistics, 2021

2020
FraCaS: Temporal Analysis.
CoRR, 2020

Improving the Precision of Natural Textual Entailment Problem Datasets.
Proceedings of The 12th Language Resources and Evaluation Conference, 2020

2019
Gradability in MTT-Semantics.
Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

Bayesian Inference Semantics: A Modelling System and A Test Suite.
Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics, 2019

A Wide-Coverage Symbolic Natural Language Inference System.
Proceedings of the 22nd Nordic Conference on Computational Linguistics, NoDaLiDa 2019, Turku, Finland, September 30, 2019

Predicates as Boxes in Bayesian Semantics for Natural Language.
Proceedings of the 22nd Nordic Conference on Computational Linguistics, NoDaLiDa 2019, Turku, Finland, September 30, 2019

LSTM-CNN Deep Learning Model for Sentiment Analysis of Dialectal Arabic.
Proceedings of the Arabic Language Processing: From Theory to Practice, 2019

What Kind of Natural Language Inference are NLP Systems Learning: Is this Enough?
Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

Testing the Generalization Power of Neural Network Models across NLI Benchmarks.
Proceedings of the 2019 ACL Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP, 2019

2018
A corpus of precise natural textual entailment problems.
CoRR, 2018

Neural Network Models for Natural Language Inference Fail to Capture the Semantics of Inference.
CoRR, 2018

Shami: A Corpus of Levantine Arabic Dialects.
Proceedings of the Eleventh International Conference on Language Resources and Evaluation, 2018

A Lexical Distance Study of Arabic Dialects.
Proceedings of the Fourth International Conference On Arabic Computational Linguistics, 2018

2017
Adjectival and Adverbial Modification: The View from Modern Type Theories.
J. Log. Lang. Inf., 2017

Type Theories and Lexical Networks: using Serious Games as the basis for Multi-Sorted Typed Systems.
J. Lang. Model., 2017

From Logical and Linguistic Generics to Hilbert's tau and epsilon Quantifiers.
FLAP, 2017

Introduction to "Hilbert's epsilon and tau in Logic, Informatics and Linguistics".
FLAP, 2017

A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq.
Proceedings of the IWCS 2017 - 12th International Conference on Computational Semantics - Long papers, Montpellier, France, September 19, 2017

Cognitive science, language as a tool for interaction, and a new look at language evolution.
Proceedings of the Workshop on Formal Approaches to the Dynamics of Linguistic Interaction 2017 co-located within the European Summer School on Logic, 2017

2016
Proof Assistants for Natural Language Semantics.
Proceedings of the Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016), 2016

2015
Natural Language Reasoning using Coq: Interaction and Automation.
Proceedings of the Actes de la 22e conference sur le Traitement Automatique des Langues Naturelles. Articles courts, 2015

2014
Natural Language Inference in Coq.
J. Log. Lang. Inf., 2014

Adverbs in a Modern Type Theory.
Proceedings of the Logical Aspects of Computational Linguistics, 2014

Using Signatures in Type Theory to Represent Situations.
Proceedings of the New Frontiers in Artificial Intelligence, 2014

2013
Adjectives in a Modern Type-Theoretical Setting.
Proceedings of the Formal Grammar, 2013

2012
An Account of Natural Language Coordination in Type Theory with Coercive Subtyping.
Proceedings of the Constraint Solving and Language Processing - 7th International Workshop, 2012


  Loading...