Publications
A. Monographs
- Chatzikyriakidis, S. and Luo, Z. 2020. Formal Semantics in Modern Type Theories. ISTE/Wiley Science.
B. Edited Books/Journal Issues/Proceedings
- Bernardy, JP., Blanck, R., Chatzikyriakidis, S., Lappin, S. and Maskharashvili A. (eds.), Probabilistic Approaches to Linguistic Theory, CSLI publications. To appear in 2021.
- Dobnik, S., Chatzikyriakidis, S., and Demberg, V. (eds), 2019. Proceedings of the 3th International Conference on Computational Semantics. [link]
- Howes, C., Chatzikyriakidis, S., Ek, A. and Somashekarappa, V. 2020. Proceedings of the 1st Conference on Probability and Meaning. ACL anthology. [pdf]
- Chatzikyriakidis S. and Luo Z. (eds.), 2017. Modern Perspectives in Type-Theoretical Semantics. Studies in Linguistics and Philosophy, Springer.
- Chatzikyriakidis S. Retoré C. and Pasquali F. (eds), 2017. Hilbert's Epsilon Calculus and Lexical Semantics. Edited journal volume in the Journal of Logics and Their Applications [pdf]
- Xue, T., Luo, Z. and Chatzikyriakidis S. Propositional Forms of Judgemental Interpretations. Submitted. [pdf]
- Bernardy, J.P and Chatzikyriakidis S. and Maskharashvili A. 2020. A Computational Treatment of Anaphora and its Algorithmic Implementation. Journal of Language, Logic and Information . [pdf]
- Chatzikyriakidis, S. Underspecification, Parsing Mismatches and Routinization: The Historical Development of the clitic systems of Greek dialects. Journal of Language, Logic and Information, special issue on Dynamic Syntax. [pdf]
- Gregoromichelaki, E., Mills, G. Howes, C., Eshghi, A., Chatzikyriakidis, S., Purver, M., Kempson R., Cann, R. and Healey, P. 2020. Completability vs (In)completeness. Acta Linguistica Hafniensia. [pdf]
- Qwaider, C., Saad, M., Chatzikyriakidis, S. and Dobnik S. 2018. A Lexical Distance Study of Arabic Dialects. Procedia Computer Science 142, 2-13. [link]
- Chatzikyriakidis, S. and Luo, Z. Identity Criteria of Common Nouns and Dot-types for Copredication. Oslo Studies in Language 10(2), 121-141. [pdf]
- Chatzikyriakidis, S. and Gibson H. 2017. The Bantu/Romance/Greek Connection Revisited: Processing Constraints in Auxiliary and Clitic Placement from a Cross-linguistic Perspective. Glossa 2(1), 1-39. [pdf]
- Chatzikyriakidis, S., Pasquali F. and Retoré C., 2017. From logical and linguistic generics to Hilbert's tau and epsilon quantifiers. Journal of Logics and their Applications 4 (2), 231-256. [pdf]
- Chatzikyriakidis, S., Lafourcade, M., Ramadier, L. and Zarrouk, M., 2017. Modern Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems. Journal of Language Modelling, 5(2), 229-272. [pdf]
- Chatzikyriakidis, S. and Luo, Z. 2017 Adjectival/adverbial modification: The view from modern type theories. Journal of Logic, Language and Information 26 (1), 45-88. [pdf]
- Chatzikyriakidis, S. 2016. Afterthoughts in Greek: Gender Mismatches Under a Dynamic Framework. Journal of Linguistics 53(2), 279-325. [pdf]
- Kempson R., Ronnie, C., Gregoromichelaki, E. and Chatzikyriakidis S. 2016. Languages as Mechanisms for Interaction. Theoretical Linguistics 42(3-4), 203-276. [pdf]
- Kempson, R, Chatzikyriakidis, S. and Cann R. 2015. Mechanisms for Interaction: Syntax as Procedures for Online Interactive Meaning Building. Commentary to Christiansen and Chater : Now-or-Never: A Fundamental Constraint on Language. Behavioral and Brain Sciences. [pdf]
- Chatzikyriakidis, S. and Luo Z., 2014. Natural Language Inference in Coq. Journal of Logic, Language and Information 23(4):441-480. [pdf]
- Chatzikyriakidis, S. 2012. A Dynamic Account of the Cypriot Greek Clitic Positioning system. Lingua 122(6), 642-672. [link]
- Chatzikyriakidis, S. and Kempson, R., 2011. Standard Modern and Pontic Greek Person Restrictions: A feature-free Dynamic Account. Journal of Greek Linguistics 11(2), 127-166 [link]
- Chatzikyriakidis, S., 2009. Clitics in Grecia Salentina Greek : A Dynamic account. Lingua, 119: 1939-1968. Elsevier Publishing. [pdf]
D. Book Chapters, Peer-Reviewed Conference Proceedings/Workshop Proceedings and Online Articles
- Bernardy, JP. and Chatzikyriakidis S., 2020. FraCaS: Temporal Analysis. ArXiv: 2021.10668. [link]
- Bernardy, JP., Blanck, R., Chatzikyriakidis, S., Lappin, S. and Maskharashvili A. Bayesian Inference Semantics for Natural Language. To appear at Probabilistic Approaches to Linguistic Theory, CSLI publications.
- Chatzikyriakidis S. 2020. Dialogue Informing Syntax/Semantics: The Case of Afterthoughts. In proceedings of SemDial (WatchDial2020). [pdf]
- Gregoromichelaki, E., Chatzikyriakidis, S., Eshghi, A., Hough, J., Howes, C., Kempson, R., Kiaer, J., Purver, M., Sadrzadeh, M. and White, G. 2020. Affordance Competition in Dialogue: The Case of Syntactic Unversals. In proceedings of SemDial (WatchDial2020). [pdf]
- Ek, E., Bernardy, JP and Chatzikyriakidis S. 2020. How does Punctuation Affect Neural Models in Natural Language Inference. In proceedings of the Conference on Probability and Meaning, ACL anthology. [pdf]
- Qwaider, C., Saad, M., Chatzikyriakidis, S. and Dobnik S. and Johansson. R., 2020 An Arabic Tweets Sentiment Analysis Dataset (ATSAD) using Distant Supervision and Self Training. Proceedings of the 4th Workshop on Open-Source Arabic Corpora and Processing Tools, LREC2020. [pdf]
- Bernardy, JP. and Chatzikyriakidis S., 2020. Improving the Precision of Natural Textual Entailment Problems. LREC2020, Marseille, France. [pdf]
- Qwaider, C., Saad, M., Chatzikyriakidis, S. and Dobnik S., 2019 LSTM-CNN Deep Learning Model for Sentiment Analysis of Dialectal Arabic. Proceedings of ICALP2019 (CITALA). [pdf]
- Qwaider, C, Chatzikyriakidis, S. and Dobnik S., 2019. Can Modern Standard Arabic Approaches be Used for Arabic Dialects? Sentiment Analysis as a Case Study. Proceedings of the 3rd Workshop on Arabic Corpus Linguistics (WACL-3), Cardiff, UK. [link]
- Bernardy, JP., Blanck, R., Chatzikyriakidis, S., Lappin, S. and Maskharashvili A. 2019. Predicates as Boxes in Bayesian Semantics for Natural Language. Proceedings of NoDaLiDa 2019, Turku, Finland. [link]
- Bernardy, JP. and Chatzikyriakidis S., 2019. A Wide-Coverage Symbolic Natural Language Inference System. Proceedings of NoDaLiDa 2019, Turku, Finland. [pdf]
- Talman, A. and Chatzikyriakidis, S., 2019. Testing the Generalization Power of Neural Network Models Across NLI Benchmarks. Proceedings of the BlackboxNLP workshop, ACL2019. [pdf]
- JP. Bernardy, R. Blanck, S. Chatzikyriakidis, S. Lappin and Maskharashvili A., 2019. Bayesian Inference Semantics: A Modelling System and A Test Suite. Proceedings of the Eighth Joint Conference on Lexical and Computational Semantics. [pdf]
- Bernardy, JP. and Chatzikyriakidis S., 2019. What kind of Natural Language Inference are NLP systems learning: Is this enough? Proceedings on the 11th International Conference on Agents and Artificial Intelligence, Special Session on Natural Language Processing in Artificial Intelligence. [pdf]
- Qwaider, C., Saad, M., Chatzikyriakidis, S. and Dobnik S. 2018. A Lexical Distance Study of Arabic Dialects. Proceedings of the 2nd Conference on Arabic Computational Linguistics. [link]
- Bernardy, JP., Blanck, R., Chatzikyriakidis, S. and Lappin S. 2018. A Compositional Bayesian Semantics for Natural Language. Proceedings of the workshop on Language, Cognition and Computational Models, COLING 2018. [link]
- T. Xue, Z. Luo and S. Chatzikyriakidis. 2018b. Propositional Forms of Judgemental Interpretations. Proceedings of NLCS18 (affiliated with FLoC), Oxford. 2018. [pdf]
- Qwaider, C., Saad, M., Chatzikyriakidis, S. and Dobnik S. 2018. Shami: A Corpus of Levantine Arabic Dialects. Proceedings of LREC2018. [link]
- Chatzikyriakidis, S. and Luo, Z., 2017d. Identity Criteria of CNs: Quantfication and Copredication. Workshop on Approaches to Coercion and Polysemy. Oslo, 2017. [pdf]
- Bernardy, JP and Chatzikyriakidis S., 2017. A Type-Theoretical System for the FraCaS Test Suite: Grammatical Framework Meets Coq. Proceedings of IWCS 2017, Montpellier, France. [pdf]
- Kempson R., Ronnie, C., Gregoromichelaki, E. and Chatzikyriakidis S. 2017. Action-based Grammar. Reply to replies of "Language as Mechanisms for Interaction", Theoretical Linguistics 42.
- Chatzikyriakidis, S., Cooper, R., Dobnik, S. and Larsson, S. 2017. An Overview of Natural Language Inference Data Collection: The Way Forward?. Proceedings of the IWCS2017 workshop on Computing Natural Language Inference. [pdf]
- Bizzoni, Y., Chatzikyriakidis, S. and Ghanimifard, M. 2017. "Deep Learning": Detecting Metaphoricity in Adjective-Noun Pairs. Proceedings of EMNLP2017, workshop on Stylistic Variation. [link]
- Chatzikyriakidis S. and Cooper R. Type Theories for Natural Language Semantics. Entry at the Oxford Reference Encyclopedia. [pdf]
- Kempson, R., Chatzikyriakidis S. and Howes C. 2017. Cognitive science, Language as a Tool for Interaction, and a New Look at Language Evolution. Proceedings of the workshop on Formal Approaches to Linguistic Interaction, ESSLLI2017. [pdf]
- Chatzikyriakidis, S. and Luo, Z., 2016. Proof Assistants for Natural Language Semantics. Proceedings of LACL2016, LNCS. [pdf]
- Chatzikyriakidis, S. Natural Language Reasoning Using Coq: Interaction and Automation. Proceedings of TALN2015. [pdf]
- Chatzikyriakidis, S. and Luo, Z., 2015. Individuation Criteria, Dot-types and Co-predication: The view from Modern Type Theories. Proceedings of Mathematics of Language 2015, ACL anthology 2015. [pdf]
- Chatzikyriakidis, S. and Luo, Z. Introduction: Modern Perspectives in Type-Theoretical Semantics. In: Chatzikyriakidis S. and Luo Z. (eds.), Modern Perspectives in Type-Theoretical Semantics: The State of the Art. Forthcoming. [pdf]
- Chatzikyriakidis, S. and Luo, Z. On the Interpretation of CNs: Types vs Predicates. In: Chatzikyriakidis S. and Luo Z. (eds.), Modern Perspectives in Type-Theoretical Semantics: The State of the Art. Forthcoming. [pdf]
- Chatzikyriakidis, S., Michelioudakis, D. and Spathas, G., 2015. Greek Focus operators and their associates. Proceedings of AMGL35 [pdf].
- Chatzikyriakidis, S., 2015. Polydefinites in Modern Greek: The Missink LINK. Proceedings of ICGL11. [pdf]
- Chatzikyriakidis, S. and Luo, Z., 2015. Using Signatures in Type Theory to Represent Situations. Post-proceedings of Logic and Engineering of Natural Language Semantics 11. LNAI, Springer. [pdf]
- Chatzikyriakidis, S., 2014b. Adverbs in a Modern Type Theory. In Proceedings of LACL2014., LNCS 8535, 44-56. [pdf]
- Chatzikyriakidis, S. and Luo Z., 2014 . Natural Language Reasoning Using Proof Technology: Rich Typing and Beyond. In proceedings of the EACL2014 workshop on Type Theory and Natural Language Semantics. [pdf]
- Chatzikyriakidis, S. and Luo, Z., 2013. An Account of Natural Language Coordination in Type Theory with Coercive Subtyping. CSLP 2012, LNCS 8114. [pdf]
- Chatzikyriakidis S. and Luo Z., 2013. Adjectives in a Modern Type-Theoretical Setting. In the proceedings of Formal Grammar 2013, Dusseldorf. LNCS 8036. [link]
- Chatzikyriakidis, S., 2013. Underspecification Restrictions in Polyrhythmic processing. In: Kempson, R. and Orwin, M. and Howes, C. (Eds.), Language, Music and Interaction, College Publications. [pdf]
- Kempson R., Gregoromichelaki, E. and Chatzikyriakidis, S., 2013. Joint utterances in Greek and English: Implications for Linguistic Modelling. In: Stavrou, M., (ed), Proceedings of the 33rd Annual Meeting of the Department of Linguistics of Aristotle University, April 2012 [pdf]
- Chatzikyriakidis, S., 2011. A Dynamic Account of Clitic Climbing: A First Sketch. In: Kempson R., Gregoromichelaki, E. and Howes, C.(eds), The Dynamics of Lexical Interfaces, CSLI publications. [pdf]
- Chatzikyriakidis, S. and Kempson, R., 2010a. A Dynamic Account of the Person Case Constraint in Greek. In: Proceedings of the 9th International Conference on Greek Linguistics, Chicago, October 2009. [pdf]
- Chatzikyriakidis, S., 2010. Clitic Climbing in Grecia Salentina Greek: A Dynamic Account. In: Ralli, A., and Karasimos, A., Proceedings of the 4th International Conference on Greek Dialects and Linguistic Theory, Chios, June 2009. [pdf]
- Bouzouita, M, and Chatzikyriakidis, S., 2009. Clitics as Calcified Processing Strategies. Proceedings of the 14th international conference on Lexical Functional Grammar, Cambridge, July 2009, CSLI publications. [pdf]
E. Other Publications (presentations/workshops with peer-reviewed abstracts, working papers, peer reviewed posters, arXiv papers)
- Chatzikyriakidis, S. and Luo, Z. Gradability in MTT semantics. Thirteenth International Tbilisi Symposium on Language, Logic and Computation. [pdf]
- Chatzikyriakidis, S. Constructive Dynamic Syntax. Presented at the 3rd Dynamic Syntax Conference, University of Malta, May 2019. [pdf]
- Bernardy, JP and Chatzikyriakidis S. 2018. A Corpus of Precise Natural Textual Entailment Problems. arXiv:1812.05813.
- Chatzikyriakidis, S. 2018. CoDyLan: Towards Doing (some) Inference for DyLan. Presented at the 2nd Dynamic Syntax Conference, University of Edinburgh, April 2018. [link]
- Chatzikyriakidis, S., Michelioudakis, M. and Spathas, G. 2018. The Emergence of Prepositional Genitives in Greek and its Diachronic Implications. On the Place of Case in Grammar workshop, Rethymnon, Crete. [pdf]
- Chatzikyriakidis, S. 2017. Modification in Dynamic Syntax. Presented at the 1st Dynamic Syntax Conference, SOAS, University of London, April 2017. [pdf]
- Chatzikyriakidis, S., Michelioudakis, M. and Spathas, G. 2016. Prepositional genitives in Northern Greek beyond suppletion. Presented at the 7th International Conference on Modern Greek dialects and Linguistic Theory, Rethymnon, Greece.
- Chatzikyriakidis, S. Languages as Mechanisms for Interaction: The Case of Weak Object Pronouns. INTERACTION2016 workshop, Ghent, June 2016.
- Chatzikyriakidis, S., Michelioudakis, M. and Spathas S. 2016. Promiscuous apo-phrases in Grevena Greek. Presented at the 12th International Conference on Greek Linguistics. [slides]
- Chatzikyriakidis, S., Michelioudakis, M. and Spathas, G. 2016. On the Syntax of Association with Focus in Greek. Presented at the 12th International Conference Greek Linguistics.
- Chatzikyriakidis, S., Lafourcade, M., Ramadier, L. and Zarrouk, M. Modern Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems. TyTles workshop, ESSLLI2015. [pdf]
- Kempson R., Chatzikyriakidis S. and Cann R. The Interactive Building of Names. Epsilon Workshop electronic proceedings, Montpellier 2015 [pdf].
- Chatzikyriakidis, S., Gregoromichelaki, E. and Kempson, R. Modelling shared constraints in language and music: polyrhythm processing in Dynamic Syntax. Presented at the Shared Mechanisms in Language and Music – What Neurocognition and Disorders Reveal workshop, SMART Cognitive Science Conference, Amsterdam, March 2015 [slides] [abstract]
- Sitaridou, I. and S Chatzikyriakidis S. Cultural Survival Shifts Focus: The Case of Pontic Greek. Presented at the panel entitled ‘When empires clash: modern-day outcomes of historical Greek and Turkish language encounters’, MedWorlds 4, 29 Mayis University, Istanbul 5-7/09/2012.
- Kempson R., Chatzikyriakidis S. and Orwin M. Language, Music and Interaction. Talk given at LAGB 2012.
- Chatzikyriakidis, S. Clitic positioning in Cypriot Greek revisited: Complex Subordinators/Particles with tze. Poster presented at the 5th International Conference on Greek Dialects and Linguistic Theory, Ghent, September 2012.
- Chatzikyriakidis, S. The Historical Development of the Clitic Systems of three Dialects of Modern Greek. Presented at the 20th International Conference on Historical Linguistics, Osaka, July 2011. [abstract]
- Chatzikyriakidis, S. Modern Greek Right Dislocations: The Case of Afterthoughts. Presented at the 20th International Symposium of Theoretical and Applied Linguistics, Thessaloniki, April 2011
- Chatzikyriakidis, S. Person Restrictions in Pontic Greek: Evidence for a feature-free account of the Person Case Constraint. Poster presented at the 10th International Conference on Greek Linguistics, Komotini, September 2011.
- Kempson, R. and Chatzikyriakidis, S. The PCC as a Restriction on Tree-growth. Formal vs. Processing Explanations of Syntactic Phenomena conference, York, April 2009.
- Chatzikyriakidis, S. Clitic Climbing: A Dynamic Account. Presented at LAGB 2009.
- Chatzikyriakidis, S. Clitic climbing in Grecia Salentina Greek: A Dynamic Syntax Account. GLOW summer school 2008, Barcelona.
- Chatzikyriakidis, S. A Dynamic Account of Clitics in Standard Modern and Grecia Salentina Greek. 3rd Postgraduate conference in Theoretical and Applied Linguistics, Newcastle, 2008.
F. Invited Talks/Tutorials
- Chatzikyriakidis, S. To infer or not to Infer: Natural Language Inference, Computational Semantics, and Theoretical Linguistics. Semantics in Athens III.
- Chatzikyriakidis, S. Formal Semantics in MTTs: Playing around with the Coq Proof Assistant. Invited tutorial at NASSLLI 2018.
- Chatzikyriakidis, S. Formal Semantics in Modern Type Theories. Invited talk at NASSLLI 2018.
- Chatzikyriakidis, S. A fragment answer inspired view of afterthoughts: gender mismatches in Greek. Talk given at the Linguistics Circle, University of Edinburgh, March 2018. [slides]
- Chatzikyriakidis, S. Coq for Natural Language Semantics. Three day invited tutorial at the Center of Advanced Study, Oslo, November 2017.
- Cooper, R., Chatzikyriakidis, S. and Dobnik, S. Testing the FraCaS test suite. Co-author of an invited talk given by Robin Cooper and LENLS13, Tokyo, Novermber 2016.
- Chatzikyriakidis S. Shared Mechanisms for Language and Music: The Case of Polyrhythms. Music and language in cross-cultural workshop, SOAS, London, February 2016.
- Chatzikyriakidis S. Modern Type Theoretical Semantics: Reasoning Using Proof-Assistants. The 6th Annual CLT workshop.
- Chatzikyriakidis, S., Gregoromichelaki, E. and Kempson, R. Language as a Set of Mechanisms for Interaction. Invited talk at the Interactive Meaning Construction workshop, IWCS, London, April 2015.
- Chatzikyriakidis, S. Using a Dependently Typed Interactive Theorem Prover to Seal with NL inference. Invited talk given at the Advanced Research Seminar in Language and Cognition, January 2013.
- Chatzikyriakidis, S. Underspecification Restrictions in Polyrhythmic Processing(?). Presented as part of the panel ‘Music, Language, and Interaction’ at the 4th Annual Conference of the Royal Musical Association, King’s College, London, July 2013.
- Kempson, R., and Chatzikyriakidis S. Grammars as Mechanisms for Real-Time Tree-Growth: Explaining Clitic Pronouns (Invited talk). Presented at CSLP12, Orleans
- Kempson R., Gregoromichelaki, E. and Chatzikyriakidis, S. Joint Utterances in Greek and English: Implications for Linguistic Modelling. Paper presented at the 33rd Annual Meeting of the Department of Linguistics of Aristotle University, April 2012.
- Chatzikyriakidis, S.. A strictly enclitic system: A first sketch of a Diachronic Account of the Pontic Greek clitic positioning system. Invited talk at the 2nd Romeyka workshop, Queen's college, Cambridge, April 2012.
G. Other Oral presentations and posters
- Chatzikyriakidis S. To Infer or not Infer: Natural Language Inference and Computational Semantics. Semantics in Athens III, 2019.
- Chatzikyriakidis S. Infer like a Human? NLP and the Challenge of Natural Language Inference. Invited talk at the University of Helsinki, Language Technology Research Seminar, September 2018. [link]
- Chatzikyriakidis, S. Proof Assistants to the Rescue. Invited talk at Semantics in Athens 2017, December 2017.
- Chatzikyriakidis, S. Modern Type Theoretical Semantics and Reasoning with Natural Language. Talk given at the Logic seminar, Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg, November 2017.
- Chatzikyriakidis, S. In Defence of Lost Causes: Type Theories for Natural Language Semantics. Invited talk at the Semantics and Pragmatics Exchange SemPrE Group, Düsseldorf, June 2017.
- Chatzikyriakidis, S. Natural Language Inference and Type Theory. Invited talk at the SFB Kolloquium at the University of Düsseldorf, June 2017.
- Chatzikyriakidis, S. Polydefinites in Greek: When Restrictive Interpretation fails. Invited talk at the Linguistics seminar of the English Department of Humboldt University, June 2016.
- Chatzikyriakidis S. Modern Type Theoretical Semantics: Reasoning Using Proof Assistants. CLASP Seminar, March 9th, 2016 [slides].
- Chatzikyriakidis S. Natural Language Inference: Is Type Theory Relevant? Talk given at the Programming in Logic Seminar at Chalmers University, Gothenburg.
- Kempson R., Chatzikyriakidis S, and Cann, R. The Interactive Building of names. SemDial 2015 (goDial) in Gothenborg, August 2015
- Chatzikyriakidis S. and Luo Z. Formal Semantics in Modern Type Theories: Theory and Implementation. Advanced course at ESSLLI2014 [slides]
- Chatzikyriakidis, S. Clitic positioning in Cypriot Greek revisited: Complex subordinators/particles with tze. Poster presented at the 5th International Conference on Greek Dialects and Linguistic Theory, Ghent, September 2012.
- Chatzikyriakidis, S. Person Restrictions in Pontic Greek: Evidence for a feature-free account of the Person Case Constraint. Poster presented at the 10th International Conference on Greek Linguistics, Komotini, September 2011.
- Chatzikyriakidis, S. Pontic Greek Person Restrictions: Evidence for a feature free account of the Person Case Constraint. Invited talk given at the two day conference in honour of Professor Ruth Kempson, SOAS, London, November 2010.
- Chatzikyriakidis, S. Clitic Clusters in Pontic Greek: A Dynamic Account. Poster presented at the 1st workshop on ‘The Greek Language in Pontus: Romeyka in contemporary Trebizond’. Queen’s College, Cambridge, March the 13th, 2010.
- Chatzikyriakidis, S. Clitics in Grecia Salentina Greek. The PCC fest, Queen Mary university, London, November 2007.
- Chatzikyriakidis, S. Standard Modern and Grecia Salentina Greek clitics: A Dynamic Account. Workshop on Greek clitic-pronoun variation, King’s College, London, November 2007.
H. Thesis
- Chatzikyriakidis, S., 2010. Clitics in Four Dialects of Modern Greek: A Dynamic Account. PhD thesis, King's College, University of London. [pdf]
I. Unpublished work
- Chatzikyriakidis, S., 2011. Right Dislocations in Greek: The Case of Afterthoughts, manuscript.
- Chatzikyriakidis, S., 2014. Polydefinites in Modern Greek: When Restrictive Interpretation Fails. Ms, LIRMM, University of Montpellier 2.[pdf]
J. Code
- Code for the paper "Bayesian Inference Semantics: A Modelling System and A Test Suite" [link]
- Code for the FraCoq project [link]
- Code for the paper "A Compositional Bayesian Semantics for Natural Language" [link]
- Link to the Shami corpus [link]
- Coq code for the tutorial Coq for Natural Language Semantics [link]
- Code for the paper "Deep Learning": Detecting Metaphoricity in Adjective-Noun Pairs" [link]
- Short Coq libraries for Natural Language Inference [link]
K. ESSLLI 2019 - Course materials "From Modern Type Theories to Montague Semantics: A Meaningful Comparison"
Lecture 1 - Introduction [pdf]
Lecture 2 - Features of MTT-semantics [pdf]
Lecture 3 - Case Study 1: Modification [pdf]
Lecture 4 - Case Study 3: Copredication [pdf]
Lecture 5 - Dependent Types in Event Semantics [pdf]