• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2017 (15)
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 15 of 15 1 Parts of a whole : distributivity as a bridge between aspect and measurement Champollion, Lucas. - Oxford, United Kingdom : Oxford University Press, 2017 BLLDB UB Frankfurt Linguistik Show details 2 Ein statistisches Mittel zur Messbarkeit von Semantik : = A statistical mean measuring semantics Schäfer, Philipp. - Aachen : Shaker Verlag, 2017 BLLDB UB Frankfurt Linguistik Show details 3 A brief history of the verb to be Moro, Andrea; McClellan-Broussard, Bonnie (Übersetzer). - London, England : The MIT Press, 2017 BLLDB UB Frankfurt Linguistik Show details 4 Type Theories and Lexical Networks: Using Serious Games as the Basis for Multi-Sorted Typed Systems Chatzikyriakidis, Stergios; Lafourcade, Mathieu; Ramadier, Lionel... In: ISSN: 2299-856X ; EISSN: 2299-8470 ; Journal of Language Modelling ; https://hal.archives-ouvertes.fr/hal-01947518 ; Journal of Language Modelling, Institute of Computer Science, Polish Academy of Sciences, Poland, 2017, Type-theoretical approaches to lexical semantics, 5 (2), pp.229-272. ⟨10.15398/jlm.v5i2.145⟩ (2017) BASE Show details 5 Copredication in homotopy type theory Bahramian, Hamidreza; Nematollahi, Narges; Sabry, Amr In: https://hal.archives-ouvertes.fr/hal-01628150 ; 2017 (2017) BASE Show details 6 Bridging formal and conceptual semantics : selected papers of BRIDGE-14 Balogh, Kata (Herausgeber); Petersen, Wiebke (Herausgeber). - Düsseldorf : dup, 2017 BLLDB UB Frankfurt Linguistik Show details 7 FictionalAssert and Implicatures ... Brockmann, Saskia; Riecker, Susanne; Bade, Nadine. - : Universität Tübingen, 2017 BASE Show details 8 Copredication In Homotopy Type Theory ... Bahramian, Hamidreza. - : Zenodo, 2017 Abstract: This paper applies homotopy type theory to formal semantics of natural languages and proposes a new model for the linguistic phenomenon of copredication. Copredication refers to sentences where two predicates which assume di erent requirements for their arguments are asserted for one single entity, e.g., “the lunch was delicious but took forever”. This paper is particularly concerned with copredication sentences with quanti cation, i.e., cases where the two predicates impose distinct criteria of quanti cation and individuation, e.g., “Fred picked up and mastered three books.” In our solution developed in homotopy type theory and using the rule of existential closure following Heim analysis of inde nites, common nouns are modeled as identi cations of their aspects using HoTT identity types, e.g., the common noun book is modeled as identi cations of its physical and informational aspects. The previous treatments of copredication in systems of semantics which are based on simple type theory and dependent type ... Keyword: Type Theory, Formal Semantics, Copredication, Homotopy Type Theory, Agda URL: https://dx.doi.org/10.5281/zenodo.1040953 https://zenodo.org/record/1040953 BASE Hide details 9 Copredication In Homotopy Type Theory ... Bahramian, Hamidreza. - : Zenodo, 2017 BASE Show details 10 Copredication In Homotopy Type Theory ... Bahramian, Hamidreza. - : Zenodo, 2017 BASE Show details 11 Empirische Studien zum Zustandspassiv: Bedeutungsstrukturen und ihre Verarbeitung ... Gese, Helga. - : Universität Tübingen, 2017 BASE Show details 12 Towards efficient string processing of annotated events ; Proceedings of the 13th Joint ISO-ACL Workshop on Interoperable Semantic Annotation (ISA-13) VOGEL, CARL; FERNANDO, RAFAEL. - 2017 BASE Show details 13 FictionalAssert and Implicatures Brockmann, Saskia; Riecker, Susanne; Bade, Nadine. - : Universität Tübingen, 2017 BASE Show details 14 Empirische Studien zum Zustandspassiv: Bedeutungsstrukturen und ihre Verarbeitung Gese, Helga. - : Universität Tübingen, 2017 BASE Show details 15 Games of Make-Believe and Factual Information A. Zucchi. - : De Gruyter Mouton, 2017 BASE Show details

Mobile view All Catalogues UB Frankfurt Linguistik 4 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 4 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 11 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0