Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Stergios Chatzikyriakidis

Forskare

Stergios Chatzikyriakidis
Forskare
Datalingvistik
stergios.chatzikyriakidis@gu.se
031-786 3802

Rumsnummer: 207
Postadress: Box 200, 40530 Göteborg
Besöksadress: Dicksonsgatan 4 , 41256 Göteborg


Institutionen för filosofi, lingvistik och vetenskapsteori (Mer information)
Box 200
405 30 Göteborg
www.flov.gu.se
flov@flov.gu.se

Besöksadress: Olof Wijksgatan 6 , 412 55 Göteborg

Om Stergios Chatzikyriakidis

I'm a Research Fellow at the Centre for Linguistic Theory and Studies in Probability (CLASP) at the University of Gothenburg. My research interests lie in the areas of formal/computational syntax and semantics/pragmatics. One of my major research interests is the application of type theories to natural language semantics (modification, copredication, intensionality among others) as well as the use of proof-assistants implementing constructive type theories to he study of natural language inference. Currently, I'm also researching ways that constructive type theories can have probabilistic extensions.

I have also worked extensively on the use of Dynamic Syntax, a parsing oriented syntactic framework, in order to account for a number of traditional clitic related puzzles (climbing, doublingperson restrictions among others) in general and in Greek and dialects of Greek in particular. I have also looked at the diachronic evolution of the clitic systems of Greek, from the same dynamic viewpoint. Furthermore, I have worked on dialogue modelling in DS (split utterances) and have been looking at afterthoughts using insights from dialogue modelling

Lastly, I  have an ongoing interest in polyrhythmic processing and perception. In particular, I'm interested in the restrictions arising in cases of polyrhythmic processing. The idea I have put forth that needs to be tested is theextent to which underspecification plus update can explain the restrictions found in polyrhythmic processing, potentially then arguing for  shared mechanism in both language and music. 

Utvalda publikationer

Language as Mechanisms for Interaction
Ruth Kempson, Ronnie Cann, Eleni Gregoromichelaki, Stergios Chatzikyriakidis
Theoretical Linguistics, 2016

Proof Assistants for Natural Language Semantics
Stergios Chatzikyriakidis, Zhaohui Luo
Proceedings of the 9th Logical Aspects of Computational Linguistics, LACL 2016, LNCS, volume 10054, Springer, 2016

On the Interpretation of Common Nouns: Types versus Predicates
Stergios Chatzikyriakidis, Zhaohui Luo
Modern Perspectives in Type-Theoretical Semantics / Chatzikyriakidis, Stergios, Luo, Zhaohui (eds.), Cham, Springer, 2016

The interactive building of names
Stergios Chatzikyriakidis, Ruth Kempson, Ronnie Cann
Proceedings of the 19th Workshop on the Semantics and Pragmatics of Dialogue / Christine Howes and Staffan Larsson (eds.) Gothenburg, 24–26 August 2015, 2015

Senaste publikationer

From logical and linguistic generics to Hilbert's tau and epsilon quantifiers
Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré
Journal of Logics and Their Applications, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Modern Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems
Stergios Chatzikyriakidis, Manel Zarrouk, Lionel Ramadier, Mathieu Lafourcade
Journal of Language Modeling, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Intro: Modern Perspectives in Type Theoretical Semantics
Stergios Chatzikyriakidis, Zhaohui Luo
Modern Perspectives in Type Theoretical Semantics edited by Stergios Chatzikyriakidis, Zhaohui Luo., Cham, Springer International Publishing, Kapitel i bok 2017
Kapitel i bok

Cognitive science, language as a tool for interaction, and a new look at language evolution
Stergios Chatzikyriakidis, Christine Howes, Ruth Kempson
Proceedings of the Formal Approaches to the Dynamics of Linguistic Interaction workshop, ESSLLI 2017, Paper i proceeding 2017
Paper i proceeding

An overview of Natural Language Inference Data Collection: The Way Forward?
Stergios Chatzikyriakidis, Robin Cooper, Simon Dobnik, Staffan Larsson
Proceedings of the IWCS2017 workshop on Computing Natural Language Inference, Paper i proceeding 2017
Paper i proceeding

Type Theories for Natural Language Semantics
Stergios Chatzikyriakidis, Robin Cooper
http://www.stergioschatzikyriakidis.com/research-outputs.html, Bidrag till encyklopedi 2017
Bidrag till encyklopedi

A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq​.
Stergios Chatzikyriakidis, Jean-Philippe Bernardy
Proceedings of IWCS 2017, ACL Anthology, Association for Computational Linguistics, Paper i proceeding 2017
Paper i proceeding

Modification in Dynamic Syntax
Stergios Chatzikyriakidis
Peer-reviewed abstract and presentation at the 1st Dynamic Syntax Conference, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Utvalda publikationer

Language as Mechanisms for Interaction
Ruth Kempson, Ronnie Cann, Eleni Gregoromichelaki, Stergios Chatzikyriakidis
Theoretical Linguistics, 2016

Proof Assistants for Natural Language Semantics
Stergios Chatzikyriakidis, Zhaohui Luo
Proceedings of the 9th Logical Aspects of Computational Linguistics, LACL 2016, LNCS, volume 10054, Springer, 2016

On the Interpretation of Common Nouns: Types versus Predicates
Stergios Chatzikyriakidis, Zhaohui Luo
Modern Perspectives in Type-Theoretical Semantics / Chatzikyriakidis, Stergios, Luo, Zhaohui (eds.), Cham, Springer, 2016

The interactive building of names
Stergios Chatzikyriakidis, Ruth Kempson, Ronnie Cann
Proceedings of the 19th Workshop on the Semantics and Pragmatics of Dialogue / Christine Howes and Staffan Larsson (eds.) Gothenburg, 24–26 August 2015, 2015

Visar 1 - 10 av 59

2017

From logical and linguistic generics to Hilbert's tau and epsilon quantifiers
Stergios Chatzikyriakidis, Fabio Pasquali, Christian Retoré
Journal of Logics and Their Applications, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Modern Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems
Stergios Chatzikyriakidis, Manel Zarrouk, Lionel Ramadier, Mathieu Lafourcade
Journal of Language Modeling, Artikel i vetenskaplig tidskrift 2017
Artikel i vetenskaplig tidskrift

Intro: Modern Perspectives in Type Theoretical Semantics
Stergios Chatzikyriakidis, Zhaohui Luo
Modern Perspectives in Type Theoretical Semantics edited by Stergios Chatzikyriakidis, Zhaohui Luo., Cham, Springer International Publishing, Kapitel i bok 2017
Kapitel i bok

Cognitive science, language as a tool for interaction, and a new look at language evolution
Stergios Chatzikyriakidis, Christine Howes, Ruth Kempson
Proceedings of the Formal Approaches to the Dynamics of Linguistic Interaction workshop, ESSLLI 2017, Paper i proceeding 2017
Paper i proceeding

An overview of Natural Language Inference Data Collection: The Way Forward?
Stergios Chatzikyriakidis, Robin Cooper, Simon Dobnik, Staffan Larsson
Proceedings of the IWCS2017 workshop on Computing Natural Language Inference, Paper i proceeding 2017
Paper i proceeding

Type Theories for Natural Language Semantics
Stergios Chatzikyriakidis, Robin Cooper
http://www.stergioschatzikyriakidis.com/research-outputs.html, Bidrag till encyklopedi 2017
Bidrag till encyklopedi

A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq​.
Stergios Chatzikyriakidis, Jean-Philippe Bernardy
Proceedings of IWCS 2017, ACL Anthology, Association for Computational Linguistics, Paper i proceeding 2017
Paper i proceeding

Modification in Dynamic Syntax
Stergios Chatzikyriakidis
Peer-reviewed abstract and presentation at the 1st Dynamic Syntax Conference, Konferensbidrag (offentliggjort, men ej förlagsutgivet) 2017
Konferensbidrag (offentliggjort, men ej förlagsutgivet)

Visar 1 - 10 av 59

Sidansvarig: Monica Havström|Sidan uppdaterades: 2016-01-21
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?