Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Stergios
    Last name: Chatzikyriakidis
    DBLP: 133/2452
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 8 of 8  
    Select a publication
    Show Title Venue Rating Date
    Journal article
    Stergios Chatzikyriakidis, Zhaohui Luo.
    Adjectival and Adverbial Modification: The View from Modern Type Theories.
    Journal of Logic, Language and Information 2017, Volume 26 (0) 2017
    Conference paper
    Jean-Philippe Bernardy, Stergios Chatzikyriakidis.
    A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq.
    IWCS 2017 - 12th International Conference on Computational Semantics - Long papers, Montpellier, France, September 19 - 22, 2017 2017 (0) 2017
    Conference paper
    Stergios Chatzikyriakidis, Zhaohui Luo.
    Proof Assistants for Natural Language Semantics.
    Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016) - 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Stergios Chatzikyriakidis.
    Adverbs in a Modern Type Theory.
    Logical Aspects of Computational Linguistics - 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Stergios Chatzikyriakidis, Zhaohui Luo.
    Natural Language Inference in Coq.
    Journal of Logic, Language and Information 2014, Volume 23 (0) 2014
    Conference paper
    Stergios Chatzikyriakidis, Zhaohui Luo.
    Using Signatures in Type Theory to Represent Situations.
    New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers 2015 (0) 2014
    Conference paper
    Stergios Chatzikyriakidis, Zhaohui Luo.
    Adjectives in a Modern Type-Theoretical Setting.
    Formal Grammar - 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings 2013 (0) 2013
    Conference paper
    Stergios Chatzikyriakidis, Zhaohui Luo.
    An Account of Natural Language Coordination in Type Theory with Coercive Subtyping.
    Constraint Solving and Language Processing - 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers 2013 (0) 2012
    Show item 1 to 8 of 8  

    Your query returned 8 matches in the database.