Stergios Chatzikyriakidis
Stergios Chatzikyriakidis
Verified email at - Homepage
Cited by
Cited by
Language as Mechanisms for Interaction
R Kempson, R Cann, E Gregoromichelaki, S Chatzikyriakidis
Theoretical Linguistics 42 (3-4), 2016
Standard Modern and Pontic Greek person restrictions: A feature-free dynamic account
S Chatzikyriakidis, R Kempson
Journal of Greek Linguistics 11 (2), 127-166, 2011
Clitics in four dialects of Modern Greek: A dynamic account
S Chatzikyriakidis
University of London, 2010
Natural language inference in Coq
S Chatzikyriakidis, Z Luo
Journal of Logic, Language and Information 23 (4), 441-480, 2014
Clitics as calcified processing strategies
M Bouzouita, S Chatzikyriakidis
14th International Lexical Functional Grammar (LFG-2009), 188-207, 2009
Action-based grammar
R Kempson, R Cann, E Gregoromichelaki, S Chatzikyriakidis
Theoretical Linguistics 43 (1-2), 141-167, 2017
Shami: A corpus of levantine arabic dialects
K Abu Kwaik, MK Saad, S Chatzikyriakidis, S Dobnik
Proceedings of the eleventh international conference on language resources …, 2018
Adjectives in a modern type-theoretical setting
S Chatzikyriakidis, Z Luo
Formal grammar, 159-174, 2013
An account of natural language coordination in type theory with coercive subtyping
S Chatzikyriakidis, Z Luo
International Workshop on Constraint Solving and Language Processing, 31-51, 2012
Testing the generalization power of neural network models across NLI benchmarks
A Talman, S Chatzikyriakidis
arXiv preprint arXiv:1810.09774, 2018
“Deep” Learning: Detecting Metaphoricity in Adjective-Noun Pairs
Y Bizzoni, S Chatzikyriakidis, M Ghanimifard
Proceedings of the Workshop on Stylistic Variation, 43-52, 2017
Individuation criteria, dot-types and copredication: A view from modern type theories
S Chatzikyriakidis, Z Luo
ACL anthology, 2015
A dynamic account of clitic positioning in Cypriot Greek
S Chatzikyriakidis
Lingua 122 (6), 642-672, 2012
On the interpretation of common nouns: Types versus predicates
S Chatzikyriakidis, Z Luo
Modern Perspectives in Type-Theoretical Semantics, 43-70, 2017
Natural language reasoning using proof-assistant technology: Rich typing and beyond
S Chatzikyriakidis, Z Luo
Proceedings of the EACL 2014 workshop on type theory and natural language …, 2014
Adjectival and Adverbial Modification: The View from Modern Type Theories
S Chatzikyriakidis, Z Luo
Journal of Logic, Language and Information, 1-44, 2017
A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq
JP Bernardy, S Chatzikyriakidis
Formal Semantics in Modern Type Theories
S Chatzikyriakidis, Z Luo
Wiley & ISTE Science Publishing Ltd, 2018
A compositional Bayesian semantics for natural language
JP Bernardy, R Blanck, S Chatzikyriakidis, S Lappin
Proceedings of the first international workshop on language cognition and …, 2018
Type theories and lexical networks: Using serious games as the basis for multi-Sorted typed systems
S Chatzikyriakidis, M Lafourcade, L Ramadier, M Zarrouk
Journal of Language Modelling 5 (2), 229-272, 2017
The system can't perform the operation now. Try again later.
Articles 1–20