Results for 'Stergios Chatzikyriakidis'

5 found
Order:
  1.  19
    Natural Language Inference in Coq.Stergios Chatzikyriakidis & Zhaohui Luo - 2014 - Journal of Logic, Language and Information 23 (4):441-480.
    In this paper we propose a way to deal with natural language inference by implementing Modern Type Theoretical Semantics in the proof assistant Coq. The paper is a first attempt to deal with NLI and natural language reasoning in general by using the proof assistant technology. Valid NLIs are treated as theorems and as such the adequacy of our account is tested by trying to prove them. We use Luo’s Modern Type Theory with coercive subtyping as the formal language into (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  6
    Adjectival and Adverbial Modification: The View From Modern Type Theories.Stergios Chatzikyriakidis & Zhaohui Luo - 2017 - Journal of Logic, Language and Information 26 (1):45-88.
    In this paper we present a study of adjectival/adverbial modification using modern type theories, i.e. type theories within the tradition of Martin-Löf. We present an account of various issues concerning adjectival/adverbial modification and argue that MTTs can be used as an adequate language for interpreting NL semantics. MTTs are not only expressive enough to deal with a range of modification phenomena, but are furthermore well-suited to perform reasoning tasks that can be easily implemented given their proof-theoretic nature. In MTT-semantics, common (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3.  2
    Commentary: Viewing Photos and Reading Nouns of Natural Graspable Objects Similarly Modulate Motor Responses.Stergios Makris - 2015 - Frontiers in Human Neuroscience 9.
  4.  7
    The Impact of Religiosity on Audit Pricing.Stergios Leventis, Emmanouil Dedoulis & Omneya Abdelsalam - 2018 - Journal of Business Ethics 148 (1):53-78.
    Prior literature has demonstrated that religiosity is associated with a reduced acceptance of unethical business practices and financial reporting irregularities. On this premise, we examine whether religiosity, conceptualized as the degree of adherence to religious norms in the geographical area where a firm’s headquarters is located, has an impact on audit firms’ pricing decisions in the US. We measure the intensity of religiosity by the number of adherents relative to the total population in a county and demonstrate that increased religious (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Sport Neuroscience Revisited : A Commentary.Stergios Makris - 2014 - Frontiers in Human Neuroscience 8.